Merge branch 'master' of git://de.git.xonotic.org/xonotic/xonotic

diff --git a/all b/all
index 6831cca65da48dc052c497c1f0072b51373ed351..de482c746186eb173108dd34fd7f9cb27f2f8364 100755 (executable)
--- a/all
+++ b/all
@@ -235,6 +235,12 @@ listrepos()
                        $ECHO "$d"
                        continue
                fi
+               # remove broken clones so they don't mess up stuff
+               if [ x"$d" != x"." ] && [ -d "$d" ] && ! [ -d "$d/.git" ]; then
+                       msg "$d exists but has no .git subdir. Probably a broken clone. Deleting."
+                       verbose rm -rf "$d"
+                       continue
+               fi
                # if we have the dir, always keep it
                if [ -d "$d" ]; then
                        msg "Repository $d enabled because it already exists"