changeset 1183 | cd72eae05bdf |
-1:000000000000 | 0:0b56b494cf3c |
---|---|
1 #!/bin/sh |
|
2 |
|
3 # Run in valgrind, with leak checking enabled |
|
4 |
|
5 valgrind -q --leak-check=full "$@" 2> .valgrind-log |
|
6 |
|
7 # Save the test result |
|
8 |
|
9 result="$?" |
|
10 |
|
11 # Valgrind should generate no error messages |
|
12 |
|
13 log_contents="`cat .valgrind-log`" |
|
14 |
|
15 if [ "$log_contents" != "" ]; then |
|
16 cat .valgrind-log >&2 |
|
17 result=1 |
|
18 fi |
|
19 |
|
20 rm -f .valgrind-log |
|
21 |
|
22 exit $result |