diff options
Diffstat (limited to 'contrib/jenkins_arch.sh')
| -rwxr-xr-x | contrib/jenkins_arch.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/contrib/jenkins_arch.sh b/contrib/jenkins_arch.sh index 99ce5c1a..93dd8bb4 100755 --- a/contrib/jenkins_arch.sh +++ b/contrib/jenkins_arch.sh @@ -14,7 +14,11 @@ if [ ! -d "./contrib" ]; then exit 1 fi -set -x -e +set -x + +gcc --version + +set -e case "$arch" in |