stick to the file naming convention presented in the tutorial

[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 f6193a96faef1ecd2a89f6f9e55747b9f945503c..3e325f506228979d1dc16ce8d3b657c92f395b86 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