diff options
Diffstat (limited to 'scripts/travis-build.sh')
| -rwxr-xr-x | scripts/travis-build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/travis-build.sh b/scripts/travis-build.sh index a5f7ad56..1d1beb3d 100755 --- a/scripts/travis-build.sh +++ b/scripts/travis-build.sh @@ -43,7 +43,7 @@ coverity_scan() { # Do an in-tree build and make sure tests pass. build() { - ./configure + ./configure --with-tests-as-root make -j${JOBS} check VERBOSE=1 make distclean } @@ -52,7 +52,7 @@ build() { build_out_of_tree() { mkdir -p build/native pushd build/native >/dev/null - ../../configure + ../../configure --with-tests-as-root make -j${JOBS} distcheck VERBOSE=1 popd >/dev/null } |