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.

1 files 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