Seed exenv with $SG_TEST_EXENV for mass-valgrinding

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

diff --git a/examples/gras/ping/test_rl.in b/examples/gras/ping/test_rl.in
index f6193a9..3e325f5 100755 (executable)
--- a/examples/gras/ping/test_rl.in
+++ b/examples/gras/ping/test_rl.in
@@ -1,7 +1,7 @@
 #! @BASH@ -e
 if [ x@EXEEXT@ = x ] ; then 
 #  exenv="libtool --mode=execute valgrind --show-reachable=yes --run-libc-freeres=no "
 #! @BASH@ -e
 if [ x@EXEEXT@ = x ] ; then 
 #  exenv="libtool --mode=execute valgrind --show-reachable=yes --run-libc-freeres=no "

-  exenv=
+  exenv=$SG_TEST_EXENV

 else
   exenv=wine
 fi
 else
   exenv=wine
 fi