Providing up-to-date xml files... Version 1 with units in Bytes, Flops and Seconds.

[simgrid.git] / examples / gras / ping / test_rl.in

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 "
-  exenv=
+  exenv=$SG_TEST_EXENV
 else
   exenv=wine
 fi