examples/gras/timer/test_sg.in

   1 #! @BASH@
   2 if [ x@EXEEXT@ = x ] ; then
   3   exenv=$SG_TEST_EXENV
   4 else
   5   exenv=wine
   6 fi
   7
   8 exec $exenv ./timer_simulator@EXEEXT@ @top_srcdir@/examples/msg/small_platform.xml @srcdir@/timer_deployment.xml $@