diff options
Diffstat (limited to 'jjb/vpp')
-rw-r--r-- | jjb/vpp/include-raw-vpp-build.sh | 11 | ||||
-rw-r--r-- | jjb/vpp/include-raw-vpp-maven-push.sh | 2 |
2 files changed, 6 insertions, 7 deletions
diff --git a/jjb/vpp/include-raw-vpp-build.sh b/jjb/vpp/include-raw-vpp-build.sh index bacac4348..60df7ab4a 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 # do nothing but print the current slave hostname hostname export CCACHE_DIR=/tmp/ccache @@ -54,8 +54,7 @@ if [ ${OS} == ubuntu1404 ];then fi build-root/vagrant/build.sh -if [ $? == 0 ];then - echo "*******************************************************************" - echo "* VPP BUILD SUCCESSFULLY COMPLETED" - echo "*******************************************************************" -fi + +echo "*******************************************************************" +echo "* VPP BUILD SUCCESSFULLY COMPLETED" +echo "*******************************************************************" diff --git a/jjb/vpp/include-raw-vpp-maven-push.sh b/jjb/vpp/include-raw-vpp-maven-push.sh index acde5afaf..1211bbf04 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 echo "*******************************************************************" echo "* STARTING PUSH OF PACKAGES TO REPOS" echo "* NOTHING THAT HAPPENS BELOW THIS POINT IS RELATED TO BUILD FAILURE" |