Move all to deprecated folder.

This commit is contained in:
2016-11-16 21:57:57 +01:00
parent 01738a7684
commit 05de7d6c04
9777 changed files with 0 additions and 0 deletions

View File

@@ -0,0 +1,22 @@
#!/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