Changeset 3277fb0 in mainline


Ignore:
Timestamp:
2017-10-21T22:05:38Z (7 years ago)
Author:
jzr <zarevucky.jiri@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
5265c1eb
Parents:
8988fde
Message:

Allow toolchain.sh to resume interrupted downloads.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • tools/toolchain.sh

    r8988fde r3277fb0  
    237237        if [ ! -f "${FILE}" ] ; then
    238238                change_title "Downloading ${FILE}"
    239                 wget -c "${SOURCE}${FILE}"
     239                wget -c "${SOURCE}${FILE}" -O "${FILE}".part
    240240                check_error $? "Error downloading ${FILE}."
     241               
     242                mv "${FILE}".part "${FILE}"
    241243        fi
    242244       
Note: See TracChangeset for help on using the changeset viewer.