- tag by 100 file chunks

Changed files:
    builder.sh -> 1.519

diff --git a/builder.sh b/builder.sh
index 94a7de9be6d66f6fb1de0f675c548e2837cb00f7..a5d1764cd6f154a3b910109bb1321f09654649db 100644 (file)
--- a/builder.sh
+++ b/builder.sh
@@ -1171,8 +1171,13 @@ tag_files()
                fi
                if [ -n "$TAG" ]; then
                        update_shell_title "tag sources: $TAG"
-                       printf "Tagging %d files\n" $(echo $tag_files | wc -w)
-                       cvs $OPTIONS $TAG $tag_files || exit
+
+                       while [ "$tag_files" ]; do
+                               local chunk=$(echo $tag_files | tr ' ' '\n' | head -n 100)
+                               printf "Tagging %d files\n" $(echo $chunk | wc -w)
+                               cvs $OPTIONS $TAG $chunk || exit
+                               tag_files=$(echo $tag_files | tr ' ' '\n' | tail +101)
+                       done
                fi
        fi