author | Alpar Juttner <alpar@cs.elte.hu> |
Thu, 14 May 2015 16:07:38 +0200 | |
changeset 1142 | 2f479109a71d |
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