aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHarald Welte <laforge@gnumonks.org>2017-11-14 14:44:06 +0900
committerHarald Welte <laforge@gnumonks.org>2017-11-14 14:44:06 +0900
commit242266da789e512dce0e9947864844d6a946d3b1 (patch)
tree8f610b05527ee070592b8c5cfe0a0871cd377b22
parent6045efb642918ac43056ca6a40cda2fe2e6db08d (diff)
contrib/jenkins.sh: Allow jenkins job to specify if kernel GTP is usedHEADmaster
-rwxr-xr-xcontrib/jenkins.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index f319acb..6544ce3 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -34,6 +34,6 @@ set -x
cd "$base"
autoreconf --install --force
-./configure
+./configure $GTP
$MAKE $PARALLEL_MAKE
$MAKE distcheck