You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
#!/bin/sh
|
|
#
|
|
#
|
|
# Our valgrind "error" wrapper.
|
|
|
|
valgrind --leak-check=full -q "$@" 2> valgrind.tmp
|
|
|
|
result="$?"
|
|
|
|
# verify no errors
|
|
|
|
output="`cat valgrind.tmp`"
|
|
|
|
if [ "$output" != "" ]; then
|
|
cat valgrind.tmp >&2
|
|
result=1
|
|
fi
|
|
|
|
rm valgrind.tmp
|
|
|
|
exit $result
|
|
|