3 # We want to catch any unexpected failure, and exit immediately
6 # Download helper for wget, to be called from the download wrapper script
9 # .../wget [-q] OUT_FILE URL
12 # WGET : the wget command to call
15 while getopts :q OPT; do
18 \?) printf "unknown option '%s'\n" "${OPTARG}" >&2; exit 1;;
26 ${WGET} ${verbose} -O "${output}" "${url}"