summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2018-11-06 21:16:37 +0100
committerHarald Welte <laforge@gnumonks.org>2018-11-06 21:43:16 +0000
commitba2bd2eeb18ed361a0ee6038c8a3f114748aa576 (patch)
tree9930c79a7fbac8f60f87c22ad1d62be25778ee7f
parente521edefdaa69d1b78b3d4318e046bb8457123b0 (diff)
jenkins: print gcc version in log
Change-Id: I8dfac78868f64213413e80cc52ac585d9d4a2c93
-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