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