1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL
index e9928ca9..c4ef316f 100755
--- a/INSTALL
+++ b/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."