#! /bin/sh
if [ -f ../../Make.defs ]
then
	PATH=/usr/ucb:/bin:/usr/bin \
	exec ${MAKECMD-make} -f ../../Make.defs -f Makefile ${1+"$@"}
else
	PATH=/usr/ucb:/bin:/usr/bin \
	exec ${MAKECMD-make} -f Make.defs -f Makefile ${1+"$@"}
fi

