#!/bin/sh mypath=`echo $PATH | sed -e 's/\:/ /g'` for IMKCMDPATH in $mypath; do if [ $IMKCMDPATH/imake != $0 ] ; then if [ $IMKCMDPATH/imake != `pwd`/imake ] ; then if [ -x $IMKCMDPATH/imake ]; then $IMKCMDPATH/imake $* || exit 1; exit 0; fi fi fi done