Commit Diff


commit - 4b58d457076fa1ee3d86ed31162a0721ebf44862
commit + c49b45ed3e1f7d163de0ffa4000b74e6b3999a11
blob - e9928ca9783670bbcb64f8f07522e4dec1adb186
blob + c4ef316ffe44fd96f161d68b0c8061c0adc86b83
--- INSTALL
+++ INSTALL
@@ -105,7 +105,7 @@ if $dobuild; then
 		echo "* Warning: not all binaries built successfully."
 	fi
 	echo "* Installing everything in $PLAN9/bin..."
-	mk install || exit 1
+	mk -k install || exit 1
 	if [ ! -x $PLAN9/bin/cleanname -o ! -x $PLAN9/bin/acme -o ! -x $PLAN9/bin/sam ]; then
 		echo " "
 		echo "* Warning: not all binaries built successfully."