diff options
| author | N.N. <matju@users.sourceforge.net> | 2009-10-18 19:53:53 +0000 |
|---|---|---|
| committer | N.N. <matju@users.sourceforge.net> | 2009-10-18 19:53:53 +0000 |
| commit | a1fb215b39535805aa19608185d5e52c0f524b42 (patch) | |
| tree | 9d8056ca9837bd03676405dc5202bdc2c041d430 /externals/gridflow/bin/valg | |
| parent | d6b18994d50479d2f76041387d25db235bbda4cd (diff) | |
bye gridflow 0.9.4
svn path=/trunk/; revision=12610
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 "$@" - |