diff options
| -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 29cb923e75..c956d8b760 100755 --- a/scripts/travis.sh +++ b/scripts/travis.sh @@ -5,7 +5,7 @@ make cmake CMAKE_EXTRA_FLAGS="-DCMAKE_INSTALL_PREFIX=$PWD/dist" make echo "Running tests with valgrind..." if ! make test > /dev/null 2>&1; then - failed=$(ls src/testdir/valgrind.*) + failed=$(ls src/testdir/valgrind.* || true) if [ -n "$failed" ]; then echo "Memory leak detected" >&2 cat src/testdir/valgrind.* |