scripts/functions
changeset 107 06d3636f6611
parent 102 ce80474df80e
child 112 ea15433daba0
     1.1 --- a/scripts/functions	Fri May 18 15:54:42 2007 +0000
     1.2 +++ b/scripts/functions	Sat May 19 13:10:11 2007 +0000
     1.3 @@ -294,7 +294,6 @@
     1.4          return 0
     1.5      fi
     1.6  
     1.7 -    CT_DoLog EXTRA "Retrieving \"${file}\""
     1.8      CT_Pushd "${CT_TARBALLS_DIR}"
     1.9      # File not yet downloaded, try to get it
    1.10      got_it=0
    1.11 @@ -303,11 +302,13 @@
    1.12      for ext in .tar.bz2 .tar.gz .tgz .tar; do
    1.13          if [ -r "${CT_LOCAL_TARBALLS_DIR}/${file}${ext}" -a \
    1.14               "${CT_FORCE_DOWNLOAD}" != "y" ]; then
    1.15 +            CT_DoLog EXTRA "Copying \"${file}\" from local copy"
    1.16              cp -v "${CT_LOCAL_TARBALLS_DIR}/${file}${ext}" "${file}${ext}" |CT_DoLog DEBUG
    1.17              return 0
    1.18          fi
    1.19      done
    1.20      # Try to download it
    1.21 +    CT_DoLog EXTRA "Retrieving \"${file}\""
    1.22      for ext in .tar.bz2 .tar.gz .tgz .tar; do
    1.23          # Try all urls in turn
    1.24          for url in "$@"; do