diff options
Diffstat (limited to 'contrib/jenkins_amd64.sh')
| -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 c3af378c..cd7b6661 100755 --- a/contrib/jenkins_amd64.sh +++ b/contrib/jenkins_amd64.sh @@ -15,7 +15,8 @@ build() { prep_build "$src_dir" "$build_dir" - "$src_dir"/configure --disable-silent-rules --enable-static $ENABLE_SANITIZE --enable-werror + "$src_dir"/configure --disable-silent-rules --enable-static $ENABLE_SANITIZE --enable-werror \ + --enable-external-tests run_make } |