Commit Diff


commit - 9444b8e4bc847f8fd9d02466976b962288cedf31
commit + 06687f70ba7a5836c2e872648a85a724a5a1d486
blob - 11d350058cdfad5d24119d33ebcd7e11363ab7e1
blob + 49a4d9a40fe94a1d4f77248c03240ed21bb5c9cf
--- INSTALL
+++ INSTALL
@@ -143,11 +143,10 @@ echo "* Compiler version:"
 
 cd src
 if $dobuild; then
+	echo "* Building mk..."
+	../dist/buildmk 2>&1 | sed 's/^[+] //'
+
 	if [ ! -x ../bin/mk ]; then
-		echo "* Building mk..."
-		../dist/buildmk 2>&1 | sed 's/^[+] //'
-	fi
-	if [ ! -x ../bin/mk ]; then
 		echo "* Error: mk failed to build."
 		exit 1
 	fi