./all clean -f

diff --git a/all b/all
index bda0c655413daf6142961b7b98762cf5a8a08c21..ef561178b9f8737eeb54b7f8cf1f9600cb811d38 100755 (executable)
--- a/all
+++ b/all
@@ -857,8 +857,15 @@ case "$cmd" in
                echo "$report" | ssh nexuiz@rm.endoftheinternet.org cat '>>' public_html/xonotic-merge-notes.txt
                ;;
        clean)
+               force=false
+               if [ x"$1" = x"-f" ]; then
+                       force=true
+               fi
                for d in $repos; do
                        enter "$d0/$d" verbose
+                       if $force; then
+                               git checkout-index -fa
+                       fi
                        case "$d" in
                                .)
                                        git clean -df