diff options
Diffstat (limited to 'coverage')
| -rw-r--r-- | coverage/.gitignore | 2 | ||||
| -rwxr-xr-x | coverage/scripts/run-test.sh | 16 |
2 files changed, 17 insertions, 1 deletions
diff --git a/coverage/.gitignore b/coverage/.gitignore index 531f1a98..a5854309 100644 --- a/coverage/.gitignore +++ b/coverage/.gitignore @@ -12,3 +12,5 @@ bin/*.o bin/*.so bin/*.gcda bin/*.gcno +bin/*.c.gcov +*.info 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 \ |