#! @BASH@ -e if [ x@EXEEXT@ = x ] ; then wine= else wine=wine fi $wine ./ping_server@EXEEXT@ 4002 $@ & sleep 1 $wine ./ping_client@EXEEXT@ 127.0.0.1 4002 $@