1 files changed, 22 insertions, 0 deletions
diff --git a/extern/quadriflow/3rd/lemon-1.3.1/scripts/valgrind-wrapper.sh b/extern/quadriflow/3rd/lemon-1.3.1/scripts/valgrind-wrapper.sh
new file mode 100755
index 00000000000..bbb12229066
--- /dev/null
+++ b/extern/quadriflow/3rd/lemon-1.3.1/scripts/valgrind-wrapper.sh
@@ -0,0 +1,22 @@
+#!/bin/sh
+
+# Run in valgrind, with leak checking enabled
+
+valgrind -q --leak-check=full "$@" 2> .valgrind-log
+
+# Save the test result
+
+result="$?"
+
+# Valgrind should generate no error messages
+
+log_contents="`cat .valgrind-log`"
+
+if [ "$log_contents" != "" ]; then
+        cat .valgrind-log >&2
+        result=1
+fi
+
+rm -f .valgrind-log
+
+exit $result