diff options
Diffstat (limited to 'test/old/testdir/Makefile')
| -rw-r--r-- | test/old/testdir/Makefile | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/test/old/testdir/Makefile b/test/old/testdir/Makefile index b5ca6a17b0..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 @@ -121,7 +121,8 @@ CLEAN_FILES := *.out \ .*.swo \ .gdbinit \ $(TMPDIR) \ - del + del \ + $(ROOT)/runtime/doc/.*.swp clean: $(RM) -rf $(CLEAN_FILES) |