author | Alpar Juttner <alpar@cs.elte.hu> |
Wed, 15 May 2019 13:33:55 +0200 | |
branch | 1.2 |
changeset 1424 | 7edc220d6244 |
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