Doit: add -noinstall

2009-01-23 10:47:39 -08:00 · 2009-01-23 10:47:39 -08:00 · 67b8da7260
parent 1469eaa3e3
commit 67b8da7260
1 changed files with 5 additions and 1 deletions
--- a/6
+++ b/6
@ -6,6 +6,7 @@ while	case "$1" in
 	-pedantic) M=$1 ;;
 	-force) force=$1 ;;
 	-dash) with_dash=y ;;
+	-noinstall) install=noinstall ;;
 	*) break ;;
 	esac
 do
@ -91,7 +92,10 @@ do
 	*)
 		: ;;
 	esac &&
-	Meta/Make $M -- install &&
+	{
+		test z$install = znoinstall ||
+		Meta/Make $M -- install
+	} &&
 	Meta/Make clean || exit $?

 	git reset --hard