From a1fb215b39535805aa19608185d5e52c0f524b42 Mon Sep 17 00:00:00 2001 From: "N.N." Date: Sun, 18 Oct 2009 19:53:53 +0000 Subject: bye gridflow 0.9.4 svn path=/trunk/; revision=12610 --- externals/gridflow/bin/valg | 5 ----- 1 file changed, 5 deletions(-) delete mode 100755 externals/gridflow/bin/valg (limited to 'externals/gridflow/bin/valg') 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 "$@" - -- cgit v1.2.1