[unix-history] / usr / othersrc / contrib / isode / 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+"$@"}
Commit	Line	Data
48435ab0 WJ	1	: run this script through /bin/sh
	2	M=/bin/make
	3	if [ -f /usr/bin/make ]; then
	4	M=/usr/bin/make
	5	fi
	6
	7	exec $M TOPDIR= -f config/CONFIG.make -f Makefile ${1+"$@"}