diff options
author | Julien Grall <julien.grall@linaro.org> | 2014-01-20 15:07:45 +0000 |
---|---|---|
committer | Julien Grall <julien.grall@linaro.org> | 2014-01-20 15:07:45 +0000 |
commit | 9572fe195133b1918bf8d0ffb89c867a6bf795ed (patch) | |
tree | e408cc915703ed74e8820a7933257178cdc03b9d | |
parent | 9557d5137ca405db75d3ff1588ae2eae5fb1f31e (diff) |
jenkins/xen-image: Don't continue if we failed to build the image
-rw-r--r-- | jenkins/xen-image | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/jenkins/xen-image b/jenkins/xen-image index 97401f1..257749c 100644 --- a/jenkins/xen-image +++ b/jenkins/xen-image @@ -2,6 +2,10 @@ # was previously xen-image bash -x xen-ci/makelavaimg ${hwpack} xen-ci +if [ $? -ne 0 ]; then + echo "Failed to build xen-image" + exit 1 +fi # Generate BUILD-INFO.txt cat << EOF > ${WORKSPACE}/BUILD-INFO.txt |