fix ./all clean -f -m

diff --git a/all b/all
index c25f2c77441354ca018909fae1613d53c2b7d21d..3eae364dc7156bdbab425cea36d6930f3bad5fdf 100755 (executable)
--- a/all
+++ b/all
@@ -970,6 +970,7 @@ case "$cmd" in
                        elif $gotomaster; then
                                if $force; then
                                        verbose git checkout -f "`repobranch "$d"`"
+                                       verbose git reset --hard
                                else
                                        verbose git checkout "`repobranch "$d"`"
                                fi