ladanyi@840: #!/bin/sh
ladanyi@840: 
ladanyi@840: # Run in valgrind, with leak checking enabled
ladanyi@840: 
ladanyi@840: valgrind -q --leak-check=full "$@" 2> .valgrind-log
ladanyi@840: 
ladanyi@840: # Save the test result
ladanyi@840: 
ladanyi@840: result="$?"
ladanyi@840: 
ladanyi@840: # Valgrind should generate no error messages
ladanyi@840: 
ladanyi@840: log_contents="`cat .valgrind-log`"
ladanyi@840: 
ladanyi@840: if [ "$log_contents" != "" ]; then
ladanyi@840:         cat .valgrind-log >&2
ladanyi@840:         result=1
ladanyi@840: fi
ladanyi@840: 
ladanyi@840: rm -f .valgrind-log
ladanyi@840: 
ladanyi@840: exit $result