diff options
Diffstat (limited to 'build-aux/valgrind.sh')
-rwxr-xr-x | build-aux/valgrind.sh | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/build-aux/valgrind.sh b/build-aux/valgrind.sh deleted file mode 100755 index 991b906..0000000 --- a/build-aux/valgrind.sh +++ /dev/null @@ -1,16 +0,0 @@ -#!/bin/sh - -export TESTS_ENVIRONMENT=" - ${VALGRIND:-valgrind} \ - --tool=memcheck \ - --leak-check=full \ - --leak-resolution=high \ - --num-callers=20 \ - --error-exitcode=1 \ - --show-possibly-lost=no" - -if [[ "${1}" == *.sh ]]; then - exec "${@}" -else - exec ${TESTS_ENVIRONMENT} "${@}" -fi |