Make run-deploy.sh run with set -e, always. We need to know when it
authorWard Vandewege <ward@curii.com>
Wed, 19 Aug 2020 02:19:36 +0000 (22:19 -0400)
committerWard Vandewege <ward@curii.com>
Wed, 19 Aug 2020 02:19:36 +0000 (22:19 -0400)
fails.

No issue #

Arvados-DCO-1.1-Signed-off-by: Ward Vandewege <ward@curii.com>

jenkins/run-deploy.sh

index d4d5c1703d7425f29127cd6fe11cb2f1136f18ef..574e0400a52d5c70b3ea9a37afe3dee226aa428d 100755 (executable)
@@ -4,6 +4,8 @@
 #
 # SPDX-License-Identifier: AGPL-3.0
 
+set -e
+
 DEBUG=0
 UNMANAGED=0
 SSH_PORT=22