Dothem --scratch

diff --git a/Dothem b/Dothem
index 710d7c1619b8ad40e1b873068afbc093be1f93fe..47c9fb9787549b3076ee25658119024a55f379e3 100755 (executable)
--- a/Dothem
+++ b/Dothem
@@ -17,6 +17,7 @@ inst_prefix=$(
 )
 
 force= with_dash= M= install= nodoc= notest= bootstrap= branches= jobs=
+scratch=
 while  case "$1" in
        --pedantic | --locale=* | --loose) M="$M $1" ;;
        --force) force=$1 ;;
@@ -25,6 +26,7 @@ while case "$1" in
        --nodoc) nodoc=y ;;
        --notest) notest=y ;;
        --test=*) test="$1" ;;
+       --scratch) scratch=y ;;
        --bootstrap) bootstrap=y ;;
        --base=*) BUILDBASE=${1#*=} ;;
        --branches=*) branches=${1#*=} ;;
@@ -125,6 +127,14 @@ do
                        git reset --hard || exit
                esac &&
 
+               case "$scratch" in
+               '')
+                       ;;
+               y)
+                       Meta/Make clean
+                       ;;
+               esac &&
+
                case "$private" in
                '')
                        ;;