Last change
on this file since 1066:b208de044477 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
|
Rev | Line | |
---|
[793] | 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.