diff options
Diffstat (limited to 'scripts/travis.sh')
| -rwxr-xr-x | scripts/travis.sh | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/scripts/travis.sh b/scripts/travis.sh index 90e8082f86..29cb923e75 100755 --- a/scripts/travis.sh +++ b/scripts/travis.sh @@ -3,5 +3,18 @@ export VALGRIND_CHECK=1 make cmake CMAKE_EXTRA_FLAGS="-DCMAKE_INSTALL_PREFIX=$PWD/dist" make -make test > /dev/null 2>&1 +echo "Running tests with valgrind..." +if ! make test > /dev/null 2>&1; then + failed=$(ls src/testdir/valgrind.*) + if [ -n "$failed" ]; then + echo "Memory leak detected" >&2 + cat src/testdir/valgrind.* + else + echo "Failed tests:" >&2 + for t in src/testdir/*.failed; do + echo ${t%%.*} + done + fi + exit 2 +fi make install |