diff options
Diffstat (limited to 'scripts/travis.sh')
| -rwxr-xr-x | scripts/travis.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/travis.sh b/scripts/travis.sh index 33865e89d4..05747a18aa 100755 --- a/scripts/travis.sh +++ b/scripts/travis.sh @@ -1,9 +1,9 @@ #!/bin/sh -e -export VALGRIND_CHECK=1 +# export VALGRIND_CHECK=1 make cmake CMAKE_EXTRA_FLAGS="-DCMAKE_INSTALL_PREFIX=$PWD/dist" make -# make unittest +make unittest echo "Running tests with valgrind..." if ! make test > /dev/null; then if ls src/testdir/valgrind.* > /dev/null 2>&1; then |