do not valgrind dict_crash, it's ways too big (and it's clean when dict_usage is)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1626 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/testsuite/run_tests.in b/testsuite/run_tests.in
index eadbb9d..bb94ef6 100755 (executable)
--- a/testsuite/run_tests.in
+++ b/testsuite/run_tests.in
@@ -86,7 +86,10 @@ do
       # overwrites "valgrind" as a value, but should be exclusive.
       exenv=wine  
     fi
-    if [ "x$test" = "xdict_crash@EXEEXT@" ] ; then
+    if [ "x$test" = "xxbt/dict_crash@EXEEXT@" ] ; then 
+      if echo $exenv | grep valgrind >/dev/null ; then
+       exenv=
+      fi
       $exenv ./$test --xbt-log="root.thres=info" 2>&1
       retval=$?
     else