- $GET_FILES used only in get_files; optimizations engaged

- should fix also possible files with spaces issues

Changed files:
    builder.sh -> 1.376

diff --git a/builder.sh b/builder.sh
index cd5e697b9fda4efac5dca94a2189091a087468cb..2197aefe65972b9bfe84cd27ac0c54a33dba5a7a 100644 (file)
--- 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