#! @BASH@ if [ x@EXEEXT@ = x ] ; then exenv=$SG_TEST_EXENV else exenv=wine fi exec $exenv ./pmm_simulator@EXEEXT@ @top_srcdir@/examples/msg/msg_platform.xml @srcdir@/pmm_deployment.xml $@