diff options
Diffstat (limited to 'script/valgrind.sh')
| -rwxr-xr-x | script/valgrind.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/valgrind.sh b/script/valgrind.sh index b5deed2..aacd767 100755 --- a/script/valgrind.sh +++ b/script/valgrind.sh @@ -1,2 +1,2 @@ #!/bin/bash -exec valgrind --leak-check=full --show-reachable=yes --error-exitcode=125 --num-callers=50 --suppressions="$(dirname "${BASH_SOURCE[0]}")/valgrind.supp" "$@" +exec valgrind --leak-check=full --show-reachable=yes --child-silent-after-fork=yes --error-exitcode=125 --num-callers=50 --suppressions="$(dirname "${BASH_SOURCE[0]}")/valgrind.supp" "$@" |