diff options
Diffstat (limited to 'tests/internals/test_internals_valgrind.sh')
| -rwxr-xr-x | tests/internals/test_internals_valgrind.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/tests/internals/test_internals_valgrind.sh b/tests/internals/test_internals_valgrind.sh index 4511ccd..837a3cc 100755 --- a/tests/internals/test_internals_valgrind.sh +++ b/tests/internals/test_internals_valgrind.sh @@ -1,5 +1,11 @@ -#!/bin/sh +#!/bin/sh -eu if [ ! -x ./test_internals ]; then cd `dirname "$0"` fi -valgrind --error-exitcode=100 ./test_internals + +if [ -n "`which valgrind`" ]; then + valgrind --error-exitcode=100 ./test_internals +else + echo "Warning: valgrind not found. Running without." + ./test_internals +fi |