| author | Balazs Dezso <deba@inf.elte.hu> |
| Tue, 16 Nov 2010 08:19:11 +0100 | |
| changeset 1023 | 939ee6d1e525 |
| permissions | -rwxr-xr-x |
1 #!/bin/sh
3 # Run in valgrind, with leak checking enabled
5 valgrind -q --leak-check=full "$@" 2> .valgrind-log
7 # Save the test result
9 result="$?"
11 # Valgrind should generate no error messages
13 log_contents="`cat .valgrind-log`"
15 if [ "$log_contents" != "" ]; then
16 cat .valgrind-log >&2
17 result=1
18 fi
20 rm -f .valgrind-log
22 exit $result