#!/bin/sh echo "$@" objtype=mingw f=`echo $0 | 9 sed 's,.*(.)$,\1,'` exec w32$f "$@"