diff options
Diffstat (limited to 'test/valgrind.sh')
-rw-r--r-- | test/valgrind.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/test/valgrind.sh b/test/valgrind.sh index 9c230d4..0320830 100644 --- a/test/valgrind.sh +++ b/test/valgrind.sh @@ -1,2 +1,4 @@ -VALGRIND=valgrind -VALGRIND_OPTS="-q --error-exitcode=1 --leak-check=full --show-reachable=yes" +if [ -z "$DISABLE_VALGRIND" ]; then + VALGRIND=valgrind + VALGRIND_OPTS="-q --error-exitcode=1 --leak-check=full --show-reachable=yes" +fi |