2012-12-04 21:28:18 -08:00
|
|
|
#!/bin/sh
|
|
|
|
#
|
|
|
|
#
|
|
|
|
# Our valgrind "error" wrapper.
|
|
|
|
|
2020-08-10 13:15:20 +10:00
|
|
|
TMP="valgrind.tmp.$$"
|
|
|
|
|
|
|
|
valgrind --suppressions=valgrind-bash.supp --leak-check=full -q "$@" 2> $TMP
|
2012-12-04 21:28:18 -08:00
|
|
|
|
|
|
|
result="$?"
|
|
|
|
|
|
|
|
# verify no errors
|
|
|
|
|
2020-08-10 13:15:20 +10:00
|
|
|
output="`cat $TMP`"
|
2012-12-04 21:28:18 -08:00
|
|
|
|
|
|
|
if [ "$output" != "" ]; then
|
2020-08-10 13:15:20 +10:00
|
|
|
cat $TMP >&2
|
2012-12-04 21:28:18 -08:00
|
|
|
result=1
|
|
|
|
fi
|
|
|
|
|
2020-08-10 13:15:20 +10:00
|
|
|
rm $TMP
|
2012-12-04 21:28:18 -08:00
|
|
|
|
|
|
|
exit $result
|
|
|
|
|