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 /contrib | |
| 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
Diffstat (limited to 'contrib')
| -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 |