386BSD 0.1 development

[unix-history] / usr / othersrc / contrib / isode / snmp / gawk-2.11 / s-gawk / make

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

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