valgrind.sh
200 Bytes
-
ci: valgrind shouldn't report on exited children · a283c1bd
Now that we (may) exec a child process to do ssh, we don't want valgrind reporting on that. Suppress children in valgrind runs.
Edward Thomson committed
Now that we (may) exec a child process to do ssh, we don't want valgrind reporting on that. Suppress children in valgrind runs.