Merge branch 'master' into divVerent/crypto2

[xonotic/xonotic.git] / all

diff --git a/all b/all
index 32cf72ee585f08eb1a3cd9c80166b2f98c7677ce..f4fcb8f8cf64b775e015f11f8c7f3f4e91b090d9 100755 (executable)
--- a/all
+++ b/all
@@ -919,9 +919,10 @@ case "$cmd" in
                        force=true
                fi
                for d in $repos; do
-                       enter "$d0/$d" verbose
+                       verbose cd "$d0/$d"
                        if $force; then
-                               verbose git checkout-index -fa
+                               verbose git reset --hard
+                               #redundant# verbose git checkout-index -fa
                        fi
                        case "$d" in
                                .)