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