From c4ff623e8f74141181fb6d345bf7a1c32afbccb5 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Elan=20Ruusam=C3=A4e?= Date: Sat, 22 Sep 2007 10:16:36 +0000 Subject: [PATCH] - tag by 100 file chunks Changed files: builder.sh -> 1.519 --- builder.sh | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/builder.sh b/builder.sh index 94a7de9..a5d1764 100644 --- 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 -- 2.44.0