TODO: fix the build system with respect to docs.
[mit.git] / tests / valgrindme.sh
blob6ebc14a323d3b0ef27c7276d8b9df705f4db32ea
1 #! /bin/sh
3 # Make sure it finds real one this time.
4 PATH=`pwd`:$PATH
5 valgrind -q --num-callers=8 --suppressions=tests/vg-suppressions --log-fd=3 `basename $0` "$@" 3>/tmp/valgrind
6 ret=$?
8 if [ -s /tmp/valgrind ]; then
9 echo VALGRIND FAILED for $0 "$@" > /proc/$PPID/fd/1
10 cat /tmp/valgrind > /proc/$PPID/fd/1
11 kill $PPID
12 exit 1
14 exit $ret