summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHarald Welte <laforge@gnumonks.org>2018-06-28 08:28:27 +0200
committerHarald Welte <laforge@gnumonks.org>2018-06-28 10:57:42 +0200
commit79d49af93a45f184ad05ab6dc4fd662848333e50 (patch)
tree2de3ddeafbc614ed88527c83f297b89e413817c1
parentcae93e51d981c2dff12421b9207c1daa8816f43b (diff)
jenkins_arch.sh: Exit with error on unknown architecture
The jenkins build job used to call this script using an "arch" it doesn't understand. This should have resulted in an error, but it didn't as there was a missing "exit 1" statement :( Related: OS#3360 Change-Id: Ib27c9ebaf2630c432b1923f8e14b36e7772a6033
-rwxr-xr-xcontrib/jenkins_arch.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/jenkins_arch.sh b/contrib/jenkins_arch.sh
index cf9546e8..99ce5c1a 100755
--- a/contrib/jenkins_arch.sh
+++ b/contrib/jenkins_arch.sh
@@ -29,5 +29,6 @@ case "$arch" in
*)
set +x
echo "Unexpected architecture '$arch'"
+ exit 1
;;
esac