From f5e2b33682693e1132fc5c3f2cac5adeac266cb7 Mon Sep 17 00:00:00 2001 From: Fatih Degirmenci Date: Wed, 2 Oct 2019 07:38:02 +0200 Subject: [PATCH] nolabs: Set bash options Change-Id: Ifd45e3ec791121388532209b96e8d0ceb9927e83 --- jjb/nolabs/delete-booking.sh | 3 +++ jjb/nolabs/handle-booking.sh | 3 +++ 2 files changed, 6 insertions(+) diff --git a/jjb/nolabs/delete-booking.sh b/jjb/nolabs/delete-booking.sh index a4b938de..32626dc0 100644 --- a/jjb/nolabs/delete-booking.sh +++ b/jjb/nolabs/delete-booking.sh @@ -1,4 +1,7 @@ #!/bin/bash +set -o errexit +set -o nounset +set -o pipefail cd $WORKSPACE diff --git a/jjb/nolabs/handle-booking.sh b/jjb/nolabs/handle-booking.sh index e0096a95..30f82d5f 100644 --- a/jjb/nolabs/handle-booking.sh +++ b/jjb/nolabs/handle-booking.sh @@ -1,4 +1,7 @@ #!/bin/bash +set -o errexit +set -o nounset +set -o pipefail cd $WORKSPACE -- 2.25.1