diff options
author | Thomas Vander Stichele <thomas@apestaart.org> | 2005-11-16 16:50:56 +0000 |
---|---|---|
committer | Thomas Vander Stichele <thomas@apestaart.org> | 2005-11-16 16:50:56 +0000 |
commit | 3aa0adc0cc4539ec9bb62ccf6d535240dad19e58 (patch) | |
tree | a3f96cf40d36acbc6244049e1bdff945cdb1a8f6 | |
parent | 657b549dfb640a76f3d7ab7676e453c801a83dca (diff) |
don't print stuff twice
Original commit message from CVS:
don't print stuff twice
-rw-r--r-- | check.mak | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -43,7 +43,7 @@ LOOPS = 10 --tool=memcheck --leak-check=full --trace-children=yes \ --leak-resolution=high \ $* 2>&1 | tee valgrind.log - @if grep "==" valgrind.log; then \ + @if grep "==" valgrind.log > /dev/null 2>&1; then \ rm valgrind.log; \ exit 1; \ fi |