---
src/compiler/test/patches | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
diff --git a/src/compiler/test/patches b/src/compiler/test/patches
index 1a31fa3..14ce57f 100755
--- a/src/compiler/test/patches
+++ b/src/compiler/test/patches
@@ -8,6 +8,7 @@
# of it.
#
+valgrind_orig=$VALGRIND
if [ "$VALGRIND" ]; then
VALGRIND="$VALGRIND --leak-check=full --show-reachable=yes"
fi
@@ -84,4 +85,6 @@ for n in \
expect </dev/null
done
+VALGRIND=$valgrind_orig
+
###############################################################################
--
1.7.1
_______________________________________________
http://lists.milkymist.org/listinfo.cgi/devel-milkymist.org
IRC: #milkymist@Freenode
