diff options
Diffstat (limited to 'rules/check.mak')
| -rw-r--r-- | rules/check.mak | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/rules/check.mak b/rules/check.mak index 2901d94a..650f5137 100644 --- a/rules/check.mak +++ b/rules/check.mak @@ -1,4 +1,5 @@ LOOPS = 10 +CLEANFILES = $(CLEANFILES) valgrind.*.log # run any given test by running make test.check # if the test fails, run it again at at least debug level 2 @@ -32,12 +33,10 @@ LOOPS = 10 $(foreach s,$(SUPPRESSIONS),--suppressions=$(s)) \ --tool=memcheck --leak-check=full --trace-children=yes \ --leak-resolution=high --num-callers=20 \ - ./$* 2>&1 | tee valgrind.log - @if grep "==" valgrind.log > /dev/null 2>&1; then \ - rm valgrind.log; \ + ./$* 2>&1 | tee "valgrind.$*.log" + @if grep "==" "valgrind.$*.log" > /dev/null 2>&1; then \ exit 1; \ fi - @rm valgrind.log # valgrind any given test and generate suppressions for it %.valgrind.gen-suppressions: % |