diff options
Diffstat (limited to 'contrib/jenkins_arch.sh')
| -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 |