nolabs: Set bash options 72/2472/1
authorFatih Degirmenci <fdegir@gmail.com>
Wed, 2 Oct 2019 05:38:02 +0000 (07:38 +0200)
committerFatih Degirmenci <fdegir@gmail.com>
Wed, 2 Oct 2019 05:38:02 +0000 (07:38 +0200)
Change-Id: Ifd45e3ec791121388532209b96e8d0ceb9927e83

jjb/nolabs/delete-booking.sh
jjb/nolabs/handle-booking.sh

index a4b938de688b3cb8189158bf2bfe7f470ea5cf58..32626dc0ea0e78a8a27939e39a425f0b27bcf955 100644 (file)
@@ -1,4 +1,7 @@
 #!/bin/bash
+set -o errexit
+set -o nounset
+set -o pipefail
 
 cd $WORKSPACE
 
index e0096a959ef3a877429bd650403544add3900a3c..30f82d5f5cd21196be85fb55aeec941f8e7e38ed 100644 (file)
@@ -1,4 +1,7 @@
 #!/bin/bash
+set -o errexit
+set -o nounset
+set -o pipefail
 
 cd $WORKSPACE