./all update: make a .no file skip updating. Other operations (including ./all clean...

diff --git a/all b/all
index 8f6f6e90a5a53b03b871320a2e57f729aa2af443..e892def8667a95cbc5943e049cd5a7504042ec6a 100755 (executable)
--- a/all
+++ b/all
@@ -235,7 +235,7 @@ listrepos()
                fi
                # if we have .no file, skip
                if [ -f "$d.no" ]; then
-                       msg "Repository $d disabled by a .no file, delete $p.no to enable"
+                       msg "Repository $d disabled by a .no file, delete $d.no to enable"
                        continue
                fi
                # if we have matching pk3, skip
@@ -608,6 +608,11 @@ case "$cmd" in
                        pushurl=`repopushurl "$d"`
                        branch=`repobranch "$d"`
                        if [ -d "$d0/$d" ]; then
+                               # if we have .no file, skip
+                               if [ -f "$d0/$d.no" ]; then
+                                       msg "Repository $d disabled by a .no file, delete $d.no to enable; thus, not updated"
+                                       continue
+                               fi
                                if $allow_pull; then
                                        enter "$d0/$d" verbose
                                        r=`git symbolic-ref HEAD`