From 3815b69a3f6d2bbf48e6e194c8239496057d8d94 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Elan=20Ruusam=C3=A4e?= Date: Mon, 16 Jan 2006 23:29:54 +0000 Subject: [PATCH] - $GET_FILES used only in get_files; optimizations engaged - should fix also possible files with spaces issues Changed files: builder.sh -> 1.376 --- builder.sh | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/builder.sh b/builder.sh index cd5e697..2197aef 100644 --- a/builder.sh +++ b/builder.sh @@ -639,7 +639,6 @@ cvsup() get_files() { - GET_FILES="$@" update_shell_title "fetching sources" if [ -n "$DEBUG" ]; then @@ -655,12 +654,11 @@ get_files() NOCVS="yes" fi - local nf=$(echo "$GET_FILES" | wc -w) local nc=0 local get_files_cvs="" - for i in $GET_FILES; do + for i in "$@"; do nc=$((nc + 1)) - SHELL_TITLE_PREFIX="get_files[$nc/$nf]" + SHELL_TITLE_PREFIX="get_files[$nc/$#]" update_shell_title "$i" local fp=`nourl "$i"` if [ -f "$fp" ] && [ "$SKIP_EXISTING_FILES" = "yes" ]; then @@ -805,7 +803,7 @@ get_files() fi if [ "$CHMOD" = "yes" ]; then - CHMOD_FILES="`nourl $GET_FILES`" + CHMOD_FILES="`nourl "$@"`" if [ -n "$CHMOD_FILES" ]; then chmod $CHMOD_MODE $CHMOD_FILES fi -- 2.44.0