diff options
Diffstat (limited to 'scripts/travis.sh')
-rwxr-xr-x | scripts/travis.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/travis.sh b/scripts/travis.sh index 3eb2223fa1..60ed5c0d36 100755 --- a/scripts/travis.sh +++ b/scripts/travis.sh @@ -3,5 +3,5 @@ # export VALGRIND_CHECK=1 make cmake CMAKE_EXTRA_FLAGS="-DCMAKE_INSTALL_PREFIX=$PWD/dist" make -make test +make test > /dev/null 2>&1 make install |