
libdir=/home/felix/wk/sysprogsml/code/swerve/config/tests
smlbin=/src/smlnj/current/bin

exec $smlbin/.run-sml @SMLload=$libdir/t_main.x86-linux @SMLdebug=/dev/null "$@"
