diff options
author | Harald Welte <laforge@gnumonks.org> | 2017-11-14 14:48:32 +0900 |
---|---|---|
committer | Harald Welte <laforge@gnumonks.org> | 2017-11-14 14:48:32 +0900 |
commit | afd76a731fbb03c39e78309baf52829901a0ac66 (patch) | |
tree | 574e059a6b93215a4852ab08dfe213a1363bbb6a | |
parent | fd30bd1032e3dd45914645b42df615d2dc71066d (diff) |
contrib/jenkins.sh: Allow jenkins job to specify if kernel GTP is used
Change-Id: I83319aa6e5e7dde229ae5a036b5a1800879cbf81
-rwxr-xr-x | contrib/jenkins.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index b2f8452..6a718a8 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -35,7 +35,7 @@ set -x cd "$base" autoreconf --install --force -./configure +./configure $GTP $MAKE $PARALLEL_MAKE $MAKE distcheck |