diff options
| -rw-r--r-- | src/testdir/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/testdir/Makefile b/src/testdir/Makefile index d0e4305f8f..f720d7a2b4 100644 --- a/src/testdir/Makefile +++ b/src/testdir/Makefile @@ -50,7 +50,7 @@ ifdef USE_VALGRIND --error-exitcode=123 \ --log-file=valgrind.\%p.$* \ $(VGDB) \ - --trace-children=yes \ + --trace-children=yes else ifdef USE_GDB TOOL = gdb --args |