aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-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