: Run this script through /bin/sh
if [ "$MAKE" = "" ]; then
    MAKE=/bin/make
if [ -f /usr/bin/make ]; then
    MAKE=/usr/bin/make
fi
fi

exec $MAKE MODULE=dh -f ../../config/CONFIG.make -f dh.make -f ../../config/Makefile ${1+"$@"}
