From 1ad1f1a341e8f5ed8b49b256d3dcfb3998a1fbbe Mon Sep 17 00:00:00 2001
From: Simon Josefsson <simon@josefsson.org>
Date: Sat, 4 Mar 2017 08:29:19 +0100
Subject: [PATCH] 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.
---
 sign-build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sign-build b/sign-build
index f4c809e2..068677c6 100755
--- a/sign-build
+++ b/sign-build
@@ -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
 }