diff options
Diffstat (limited to '')
| -rwxr-xr-x | src/valgrind.sh | 2 | ||||
| -rw-r--r-- | test/conftest.py | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/valgrind.sh b/src/valgrind.sh index 160b573..db05a1d 100755 --- a/src/valgrind.sh +++ b/src/valgrind.sh @@ -15,4 +15,4 @@ exec valgrind -q \ --track-origins=yes \ --track-fds=yes \ --trace-children=yes \ - -- "$@" + "$@" diff --git a/test/conftest.py b/test/conftest.py index b96f08f..9e81afd 100644 --- a/test/conftest.py +++ b/test/conftest.py @@ -102,7 +102,9 @@ def base_cmd_line(pytestconfig): cmd_line = CmdLine.unbuffered() valgrind = pytestconfig.getoption(PARAM_VALGRIND.codename) if valgrind is not None: - cmd_line = CmdLine.wrap(CmdLine(valgrind), cmd_line) + # Signal to Valgrind that ci.sh should obviously be exempt from memory + # leak checking: + cmd_line = CmdLine.wrap(CmdLine(valgrind, '--trace-children-skip=*/ci.sh', '--'), cmd_line) return cmd_line |