diff options
Diffstat (limited to 'jjb/vpp')
| -rw-r--r-- | jjb/vpp/include-raw-vpp-build.sh | 2 | ||||
| -rw-r--r-- | jjb/vpp/include-raw-vpp-maven-push.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/jjb/vpp/include-raw-vpp-build.sh b/jjb/vpp/include-raw-vpp-build.sh index 60df7ab4a..61c06ba19 100644 --- a/jjb/vpp/include-raw-vpp-build.sh +++ b/jjb/vpp/include-raw-vpp-build.sh @@ -1,6 +1,6 @@ #!/bin/bash # basic build script example -set -xeu -o pipefail +set -xe -o pipefail # do nothing but print the current slave hostname hostname export CCACHE_DIR=/tmp/ccache diff --git a/jjb/vpp/include-raw-vpp-maven-push.sh b/jjb/vpp/include-raw-vpp-maven-push.sh index 1211bbf04..91bc295b8 100644 --- a/jjb/vpp/include-raw-vpp-maven-push.sh +++ b/jjb/vpp/include-raw-vpp-maven-push.sh @@ -1,5 +1,5 @@ #!/bin/bash -set -xeu -o pipefail +set -xe -o pipefail echo "*******************************************************************" echo "* STARTING PUSH OF PACKAGES TO REPOS" echo "* NOTHING THAT HAPPENS BELOW THIS POINT IS RELATED TO BUILD FAILURE" |