diff options
Diffstat (limited to 'coverage/scripts')
| -rwxr-xr-x | coverage/scripts/run-test.sh | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/coverage/scripts/run-test.sh b/coverage/scripts/run-test.sh index be083654..ee0fb00a 100755 --- a/coverage/scripts/run-test.sh +++ b/coverage/scripts/run-test.sh @@ -7,6 +7,20 @@ cd $R/bin lcov -c -i -d $R/bin -o $R/lcov-out.info +vg() { + if [[ -z "$NOVALGRIND" ]]; then + valgrind "$@" + else + while :; do + case "$1" in + --*) shift;; + *) break;; + esac + done + "$@" + fi +} + mk() { echo echo "*******************************************************************" @@ -78,7 +92,7 @@ mk $R/bin/test-wrap-json # true life test ########################################################## mk \ -valgrind \ +vg \ --log-file=$R/valgrind.out \ --trace-children=no \ --track-fds=yes \ |