diff options
author | Simon Josefsson <simon@josefsson.org> | 2017-03-04 08:29:19 +0100 |
---|---|---|
committer | Wolfgang Wiedmeyer <wolfgit@wiedmeyer.de> | 2017-03-04 10:26:45 +0100 |
commit | 1ad1f1a341e8f5ed8b49b256d3dcfb3998a1fbbe (patch) | |
tree | e441efb219d55f8c6bfff9155bb6f7ceed92762a | |
parent | 4971a943eb2ef67bfb0976f276725f5399df10cb (diff) | |
download | vendor_replicant-1ad1f1a341e8f5ed8b49b256d3dcfb3998a1fbbe.zip vendor_replicant-1ad1f1a341e8f5ed8b49b256d3dcfb3998a1fbbe.tar.gz vendor_replicant-1ad1f1a341e8f5ed8b49b256d3dcfb3998a1fbbe.tar.bz2 |
Work around that 'make-key' has rc 1 on success.
The 'make_key' script returns rc 1 on both failure and success, so work
around by ignoring exit code from that script.
-rwxr-xr-x | sign-build | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -71,7 +71,7 @@ generate_keys () { mkdir $KEY_DIR for x in releasekey platform shared media; do \ - ./development/tools/make_key $KEY_DIR/$x "$SUBJECT"; \ + ./development/tools/make_key $KEY_DIR/$x "$SUBJECT" || true; \ done } |