ci: valgrind shouldn't report on exited children

Now that we (may) exec a child process to do ssh, we don't want valgrind reporting on that. Suppress children in valgrind runs.

ci: valgrind shouldn't report on exited children
Now that we (may) exec a child process to do ssh, we don't want valgrind reporting on that. Suppress children in valgrind runs.
a283c1bd · Edward Thomson · 10fbb5c9 · a283c1bd
Commit a283c1bd authored May 18, 2023 by Edward Thomson
Show whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

script/valgrind.sh
+1 -1

No files found.
--- a/script/valgrind.sh
+++ b/script/valgrind.sh
 #!/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" "$@"