X-Git-Url: http://git.xonotic.org/?a=blobdiff_plain;f=all;h=de482c746186eb173108dd34fd7f9cb27f2f8364;hb=refs%2Fheads%2Fnyov%2Fscriptfix;hp=6831cca65da48dc052c497c1f0072b51373ed351;hpb=bffce9121826aab744be88d826b75c18b058024e;p=xonotic%2Fxonotic.git 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"