Doit: add -noinstall

diff --git a/Doit b/Doit
index 74051e02d7ae13160aedfd4743891f4ecab8f8c0..1d4c4d64ad7643e5dd4498ce089638866c249d58 100755 (executable)
--- a/Doit
+++ b/Doit
@@ -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