| author | Gabriel Gouvine <gabriel.gouvine.GIT@gmx.com> |
| Sun, 19 Mar 2017 14:38:08 +0100 | |
| changeset 1419 | 73bd8d5200df |
| 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