From 06687f70ba7a5836c2e872648a85a724a5a1d486 Mon Sep 17 00:00:00 2001
From: Russ Cox <rsc@swtch.com>
Date: Sun, 17 May 2020 20:09:43 -0400
Subject: INSTALL: build mk all the time

If mk gets into a bad state, it's not obvious that you can
remove the binary to force the rebuild. Also, not rebuilding
means that bugs in mkmk.sh are not noticed.
Just rebuild from scratch every time. It doesn't take too long
compared to the rest of INSTALL.
---
 INSTALL | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/INSTALL b/INSTALL
index 11d35005..49a4d9a4 100755
--- a/INSTALL
+++ b/INSTALL
@@ -143,10 +143,9 @@ echo "* Compiler version:"
 
 cd src
 if $dobuild; then
-	if [ ! -x ../bin/mk ]; then
-		echo "* Building mk..."
-		../dist/buildmk 2>&1 | sed 's/^[+] //'
-	fi
+	echo "* Building mk..."
+	../dist/buildmk 2>&1 | sed 's/^[+] //'
+
 	if [ ! -x ../bin/mk ]; then
 		echo "* Error: mk failed to build."
 		exit 1
-- 
cgit v1.2.3