| commit | f5e2b33682693e1132fc5c3f2cac5adeac266cb7 | [log] [tgz] |
|---|---|---|
| author | Fatih Degirmenci <fdegir@gmail.com> | Wed Oct 02 07:38:02 2019 +0200 |
| committer | Fatih Degirmenci <fdegir@gmail.com> | Wed Oct 02 07:38:02 2019 +0200 |
| tree | 4b384f1641361d41205726b7c220d04aefd6336c | |
| parent | 346bfa8a910763ed0260da217933853a7bcec948 [diff] |
nolabs: Set bash options Change-Id: Ifd45e3ec791121388532209b96e8d0ceb9927e83
diff --git a/jjb/nolabs/delete-booking.sh b/jjb/nolabs/delete-booking.sh index a4b938d..32626dc 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 e0096a9..30f82d5 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