From ba2bd2eeb18ed361a0ee6038c8a3f114748aa576 Mon Sep 17 00:00:00 2001 From: Neels Hofmeyr Date: Tue, 6 Nov 2018 21:16:37 +0100 Subject: jenkins: print gcc version in log Change-Id: I8dfac78868f64213413e80cc52ac585d9d4a2c93 --- contrib/jenkins_arch.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'contrib') 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 -- cgit v1.2.3