diff options
-rw-r--r-- | test/old/testdir/Makefile | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/old/testdir/Makefile b/test/old/testdir/Makefile index c55e060f5a..20272a24c7 100644 --- a/test/old/testdir/Makefile +++ b/test/old/testdir/Makefile @@ -41,13 +41,13 @@ ifdef USE_VALGRIND --leak-check=yes \ --track-origins=yes # VALGRIND_TOOL := exp-sgcheck - TOOL := valgrind -q \ - -q \ - $(VALGRIND_TOOL) \ - --suppressions=../../.valgrind.supp \ - --error-exitcode=123 \ - --log-file=valgrind-\%p.$* \ - $(VGDB) \ + TOOL := valgrind -q \ + -q \ + $(VALGRIND_TOOL) \ + --suppressions=../../../src/.valgrind.supp \ + --error-exitcode=123 \ + --log-file=valgrind-\%p.$* \ + $(VGDB) \ --trace-children=yes else ifdef USE_GDB |