milsko/tools/update.sh

#!/bin/sh
MAKE=make
if which gmake >/dev/null 2>&1; then
	MAKE=gmake
fi
./tools/genmk.pl
$MAKE format
use unix2dos to undo what windows did 2026-07-16 15:44:09 -07:00			`#!/bin/sh`
			`MAKE=make`
			`if which gmake >/dev/null 2>&1; then`
			`MAKE=gmake`
			`fi`
			`./tools/genmk.pl`
			`$MAKE format`