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

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

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