diff options
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/jenkins_amd64.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/jenkins_amd64.sh b/contrib/jenkins_amd64.sh index cd7b6661..9b837930 100755 --- a/contrib/jenkins_amd64.sh +++ b/contrib/jenkins_amd64.sh @@ -28,7 +28,8 @@ build . # do distcheck only once, which is fine from built source tree, since distcheck # is well separated from the source tree state. -$MAKE distcheck \ +DISTCHECK_CONFIGURE_FLAGS=--enable-external-tests \ + $MAKE distcheck \ || cat-testlogs.sh osmo-clean-workspace.sh |