itINSTALL: build mk all the time - plan9port - [fork] Plan 9 from user space	Err	mx1.adamsgaard.dk	70
hgit clone git://src.adamsgaard.dk/plan9port	URL:git://src.adamsgaard.dk/plan9port	mx1.adamsgaard.dk	70
1Log	/src/plan9port/log.gph	mx1.adamsgaard.dk	70
1Files	/src/plan9port/files.gph	mx1.adamsgaard.dk	70
1Refs	/src/plan9port/refs.gph	mx1.adamsgaard.dk	70
1README	/src/plan9port/file/README.md.gph	mx1.adamsgaard.dk	70
1LICENSE	/src/plan9port/file/LICENSE.gph	mx1.adamsgaard.dk	70
i---	Err	mx1.adamsgaard.dk	70
1commit 06687f70ba7a5836c2e872648a85a724a5a1d486	/src/plan9port/commit/06687f70ba7a5836c2e872648a85a724a5a1d486.gph	mx1.adamsgaard.dk	70
1parent 9444b8e4bc847f8fd9d02466976b962288cedf31	/src/plan9port/commit/9444b8e4bc847f8fd9d02466976b962288cedf31.gph	mx1.adamsgaard.dk	70
hAuthor: Russ Cox <rsc@swtch.com>	URL:mailto:rsc@swtch.com	mx1.adamsgaard.dk	70
iDate:   Sun, 17 May 2020 20:09:43 -0400	Err	mx1.adamsgaard.dk	70
i	Err	mx1.adamsgaard.dk	70
iINSTALL: build mk all the time	Err	mx1.adamsgaard.dk	70
i	Err	mx1.adamsgaard.dk	70
iIf mk gets into a bad state, it's not obvious that you can	Err	mx1.adamsgaard.dk	70
iremove the binary to force the rebuild. Also, not rebuilding	Err	mx1.adamsgaard.dk	70
imeans that bugs in mkmk.sh are not noticed.	Err	mx1.adamsgaard.dk	70
iJust rebuild from scratch every time. It doesn't take too long	Err	mx1.adamsgaard.dk	70
icompared to the rest of INSTALL.	Err	mx1.adamsgaard.dk	70
i	Err	mx1.adamsgaard.dk	70
iDiffstat:	Err	mx1.adamsgaard.dk	70
i  M INSTALL                             |       7 +++----	Err	mx1.adamsgaard.dk	70
i	Err	mx1.adamsgaard.dk	70
i1 file changed, 3 insertions(+), 4 deletions(-)	Err	mx1.adamsgaard.dk	70
i---	Err	mx1.adamsgaard.dk	70
1diff --git a/INSTALL b/INSTALL	/src/plan9port/file/INSTALL.gph	mx1.adamsgaard.dk	70
it@@ -143,10 +143,9 @@ echo "* Compiler version:"	Err	mx1.adamsgaard.dk	70
i 	Err	mx1.adamsgaard.dk	70
i cd src	Err	mx1.adamsgaard.dk	70
i if $dobuild; then	Err	mx1.adamsgaard.dk	70
i-        if [ ! -x ../bin/mk ]; then	Err	mx1.adamsgaard.dk	70
i-                echo "* Building mk..."	Err	mx1.adamsgaard.dk	70
i-                ../dist/buildmk 2>&1 | sed 's/^[+] //'	Err	mx1.adamsgaard.dk	70
i-        fi	Err	mx1.adamsgaard.dk	70
i+        echo "* Building mk..."	Err	mx1.adamsgaard.dk	70
i+        ../dist/buildmk 2>&1 | sed 's/^[+] //'	Err	mx1.adamsgaard.dk	70
i+	Err	mx1.adamsgaard.dk	70
i         if [ ! -x ../bin/mk ]; then	Err	mx1.adamsgaard.dk	70
i                 echo "* Error: mk failed to build."	Err	mx1.adamsgaard.dk	70
i                 exit 1	Err	mx1.adamsgaard.dk	70
.