#! @BASH@ -e if [ x@EXEEXT@ = x ] ; then exenv=$SG_TEST_EXENV else exenv=wine fi $exenv ./sd_test@EXEEXT@ @top_srcdir@/examples/msg/small_platform.xml $@