| author | Peter Kovacs <kpeter@inf.elte.hu> |
| Mon, 19 Aug 2013 22:35:54 +0200 | |
| changeset 1117 | b40c2bbb8da5 |
| 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