From c8b81036abd9816522f09ea1842f8dc7e46f964b Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Sun, 7 Aug 2005 19:02:38 +0000
Subject: [PATCH] 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
---
 testsuite/run_tests.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/testsuite/run_tests.in b/testsuite/run_tests.in
index eadbb9d67b..bb94ef6755 100755
--- 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 
-- 
2.20.1