diff options
| author | N.N. <matju@users.sourceforge.net> | 2009-11-06 18:33:57 +0000 |
|---|---|---|
| committer | N.N. <matju@users.sourceforge.net> | 2009-11-06 18:33:57 +0000 |
| commit | 5e6bb4f4786dd39158ffe02913590cc3dea21ebd (patch) | |
| tree | 17f4c83372dc450503e3106db11c473c513ab7c0 /externals/gridflow/bin/valg | |
| parent | b4432042844d0a29f7b654245f9c17da950cd33e (diff) | |
remove gridflow 0.9.5
svn path=/trunk/; revision=12727
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 "$@" - |