author | Peter Kovacs <kpeter@inf.elte.hu> |
Thu, 17 Oct 2013 09:29:37 +0200 | |
changeset 1296 | 330264b171cf |
permissions | -rwxr-xr-x |
ladanyi@840 | 1 |
#!/bin/sh |
ladanyi@840 | 2 |
|
ladanyi@840 | 3 |
# Run in valgrind, with leak checking enabled |
ladanyi@840 | 4 |
|
ladanyi@840 | 5 |
valgrind -q --leak-check=full "$@" 2> .valgrind-log |
ladanyi@840 | 6 |
|
ladanyi@840 | 7 |
# Save the test result |
ladanyi@840 | 8 |
|
ladanyi@840 | 9 |
result="$?" |
ladanyi@840 | 10 |
|
ladanyi@840 | 11 |
# Valgrind should generate no error messages |
ladanyi@840 | 12 |
|
ladanyi@840 | 13 |
log_contents="`cat .valgrind-log`" |
ladanyi@840 | 14 |
|
ladanyi@840 | 15 |
if [ "$log_contents" != "" ]; then |
ladanyi@840 | 16 |
cat .valgrind-log >&2 |
ladanyi@840 | 17 |
result=1 |
ladanyi@840 | 18 |
fi |
ladanyi@840 | 19 |
|
ladanyi@840 | 20 |
rm -f .valgrind-log |
ladanyi@840 | 21 |
|
ladanyi@840 | 22 |
exit $result |