if a file foo.pk3dir.no exists, do not download foo.pk3dir repo

diff --git a/all b/all
index a18991e368d894f38c01228470cdf134670f636b..8599484f386cd7170c74a0d14691ca7d9bc826e5 100755 (executable)
--- a/all
+++ b/all
@@ -188,7 +188,7 @@ repoflags()
 
 repos=`for d in $repos; do
        p="${d%dir}"
-       if [ x"$p" = x"$d" ] || [ -d "$d" ] || ! [ -f "$p" ]; then
+       if [ x"$p" = x"$d" ] || [ -d "$d" ] || ! { [ -f "$d.no" ] || [ -f "$p" ]; }; then
                echo "$d"
        fi
 done`