#! @BASH@
if [ x@EXEEXT@ = x ] ; then 
  exenv=$SG_TEST_EXENV
else
  exenv=wine
fi

exec $exenv ./ping_simulator@EXEEXT@ @top_srcdir@/examples/msg/small_platform.xml @srcdir@/ping_deployment.xml $@