From 242266da789e512dce0e9947864844d6a946d3b1 Mon Sep 17 00:00:00 2001 From: Harald Welte Date: Tue, 14 Nov 2017 14:44:06 +0900 Subject: [PATCH] contrib/jenkins.sh: Allow jenkins job to specify if kernel GTP is used Change-Id: Id9869d0f3d516b5380430675f879887468b5803d --- contrib/jenkins.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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