diff options
| author | Wim Taymans <wtaymans@redhat.com> | 2020-10-02 16:23:29 +0200 |
|---|---|---|
| committer | Wim Taymans <wtaymans@redhat.com> | 2020-10-02 16:23:29 +0200 |
| commit | 7ee166f4c6682bc548bc8559ebdcfcf262d225c3 (patch) | |
| tree | b273dfa79d0ab577fda2fa40c308a3ac9a74c146 | |
| parent | 6f2534f5ab6ddac08a34adf8a5a07075de54f0b4 (diff) | |
Makefile: trace children in valgrind
So that we get info for the session manager as well
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 229b0d47..926d7257 100644 --- a/Makefile.in +++ b/Makefile.in @@ -23,7 +23,7 @@ gdb: $(MAKE) run DBG=gdb valgrind: - $(MAKE) run DBG="DISABLE_RTKIT=1 VALGRIND=1 valgrind" + $(MAKE) run DBG="DISABLE_RTKIT=1 VALGRIND=1 valgrind --trace-children=yes" test: all ninja -C @BUILD_ROOT@ test |