aboutsummaryrefslogtreecommitdiff
path: root/externals/gridflow/bin/valg
diff options
context:
space:
mode:
Diffstat (limited to 'externals/gridflow/bin/valg')
-rwxr-xr-xexternals/gridflow/bin/valg5
1 files changed, 5 insertions, 0 deletions
diff --git a/externals/gridflow/bin/valg b/externals/gridflow/bin/valg
new file mode 100755
index 00000000..de0f040a
--- /dev/null
+++ b/externals/gridflow/bin/valg
@@ -0,0 +1,5 @@
+GFSOURCE=$HOME/src/gridflow
+SUPPFILE=$GFSOURCE/tests/suppressions.valg3
+
+valgrind --suppressions=$SUPPFILE --gen-suppressions=yes "$@"
+