From ba2bd2eeb18ed361a0ee6038c8a3f114748aa576 Mon Sep 17 00:00:00 2001
From: Neels Hofmeyr <neels@hofmeyr.de>
Date: Tue, 6 Nov 2018 21:16:37 +0100
Subject: [PATCH] jenkins: print gcc version in log

Change-Id: I8dfac78868f64213413e80cc52ac585d9d4a2c93
---
 contrib/jenkins_arch.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/contrib/jenkins_arch.sh b/contrib/jenkins_arch.sh
index 99ce5c1ac..93dd8bb40 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