X-Git-Url: https://git.xonotic.org/?p=xonotic%2Fxonotic.git;a=blobdiff_plain;f=all;h=de482c746186eb173108dd34fd7f9cb27f2f8364;hp=6831cca65da48dc052c497c1f0072b51373ed351;hb=fd036680da98c60fb477f33424843b65e03b36b3;hpb=432429d9521531c8c562720b11e5022e19eeeae1

diff --git a/all b/all
index 6831cca6..de482c74 100755
--- 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"