summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xcontrib/jenkins_arch.sh6
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