diff options
author | Harald Welte <laforge@gnumonks.org> | 2017-11-14 14:44:06 +0900 |
---|---|---|
committer | Harald Welte <laforge@gnumonks.org> | 2017-11-14 14:44:06 +0900 |
commit | 242266da789e512dce0e9947864844d6a946d3b1 (patch) | |
tree | 8f610b05527ee070592b8c5cfe0a0871cd377b22 | |
parent | 6045efb642918ac43056ca6a40cda2fe2e6db08d (diff) |
Change-Id: Id9869d0f3d516b5380430675f879887468b5803d
-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 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 |