: run this script through /bin/sh
: $Header: /a/vulcan/xtel/isode/isode-master/others/quipu/uips/doog/RCS/make,v 8.0 91/07/17 13:21:37 isode Rel $
M=/bin/make
if [ -f /usr/bin/make ]; then
    M=/usr/bin/make
fi

exec $M TOPDIR=../../../../ -f ../../../../config/CONFIG.make -f Makefile ${1+"$@"}
