diff options
| author | Harald Welte <laforge@gnumonks.org> | 2018-06-28 08:28:27 +0200 |
|---|---|---|
| committer | Harald Welte <laforge@gnumonks.org> | 2018-06-28 10:57:42 +0200 |
| commit | 79d49af93a45f184ad05ab6dc4fd662848333e50 (patch) | |
| tree | 2de3ddeafbc614ed88527c83f297b89e413817c1 | |
| parent | cae93e51d981c2dff12421b9207c1daa8816f43b (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-x | contrib/jenkins_arch.sh | 1 |
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 |