diff options
| author | Neels Hofmeyr <neels@hofmeyr.de> | 2018-11-06 21:16:37 +0100 |
|---|---|---|
| committer | Harald Welte <laforge@gnumonks.org> | 2018-11-06 21:43:16 +0000 |
| commit | ba2bd2eeb18ed361a0ee6038c8a3f114748aa576 (patch) | |
| tree | 9930c79a7fbac8f60f87c22ad1d62be25778ee7f | |
| parent | e521edefdaa69d1b78b3d4318e046bb8457123b0 (diff) | |
jenkins: print gcc version in log
Change-Id: I8dfac78868f64213413e80cc52ac585d9d4a2c93
| -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 |