summaryrefslogtreecommitdiffstats
path: root/contrib/jenkins.sh
diff options
context:
space:
mode:
authorNeels Hofmeyr <neels@hofmeyr.de>2017-11-17 01:17:47 +0100
committerHarald Welte <laforge@gnumonks.org>2017-12-20 15:54:46 +0000
commit901c197881f5e0ab690f959b57abc755ab101e97 (patch)
tree85524401f27e1ad87ea24105b11dee16182d30e8 /contrib/jenkins.sh
parenta5e2162cf16f2e9208b60431bc4799b4bcdd4b42 (diff)
jenkins: add 'make V=1' for more verbose build logs
In the logs, it is nice to see whether e.g. sanitize or -Werror args actually made it to the gcc command line. With V=1 we see the complete command invocations that would be hidden otherwise. Change-Id: Ie89b1c39489ba80fb47716f4c747f2c85960e32e
Diffstat (limited to 'contrib/jenkins.sh')
-rwxr-xr-xcontrib/jenkins.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 5798c950..c341d051 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -16,7 +16,7 @@ build() {
prep_build "$src_dir" "$build_dir"
"$src_dir"/configure --enable-static $ENABLE_SANITIZE CFLAGS="-Werror" CPPFLAGS="-Werror"
- $MAKE $PARALLEL_MAKE check \
+ $MAKE V=1 $PARALLEL_MAKE check \
|| cat-testlogs.sh
}