: run this script through /bin/sh
M=/bin/make
if [ -f /usr/bin/make ]; then
    M=/usr/bin/make
fi

#exec $M TOPDIR=/cs/research/dsa/hubris/incads/sun4/isode-8.0/ -f /cs/research/dsa/hubris/incads/sun4/isode-8.0/config/CONFIG.make -f Makefile ${1+"$@"}
#exec $M TOPDIR=/usr/src/local/ISODE/sparc-8.0/ -f /usr/src/local/ISODE/sparc-8.0/config/CONFIG.make -f Makefile ${1+"$@"}
exec $M TOPDIR=../../../../ -f ../../../../config/CONFIG.make -f Makefile ${1+"$@"}
