From 5e6bb4f4786dd39158ffe02913590cc3dea21ebd Mon Sep 17 00:00:00 2001
From: "N.N." <matju@users.sourceforge.net>
Date: Fri, 6 Nov 2009 18:33:57 +0000
Subject: remove gridflow 0.9.5

svn path=/trunk/; revision=12727
---
 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