Fail on exit status != 0 on every command in pipeline for build-docu scripts

[releng.git] / jjb / pharos / build-upload-docu.sh

diff --git a/jjb/pharos/build-upload-docu.sh b/jjb/pharos/build-upload-docu.sh
index 36e0400..50191e5 100644 (file)
--- a/jjb/pharos/build-upload-docu.sh
+++ b/jjb/pharos/build-upload-docu.sh
@@ -1,4 +1,7 @@
 #!/bin/bash
+set -e
+set -o pipefail
+
 project="pharos"
 export PATH=$PATH:/usr/local/bin/