Last change
on this file since 1038:a2d142bb5d3c was
793:7c0ad6bd6a63,
checked in by Akos Ladanyi <ladanyi@…>, 15 years ago
|
Optionally use valgrind when running tests + other build system fixes
|
|
File size:
350 bytes
|
Line | |
---|
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 |
---|
Note: See
TracBrowser
for help on using the repository browser.