9a8470c9ee
This drastically simplifies the wget helper, as it no longer has to deal with atomically saving the downloaded archive. Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr> Tested-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com> (Tested by running 'make busybox-source') Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
17 lines
336 B
Bash
Executable File
17 lines
336 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# We want to catch any unexpected failure, and exit immediately
|
|
set -e
|
|
|
|
# Download helper for wget, to be called from the download wrapper script
|
|
# Expected arguments:
|
|
# $1: output file
|
|
# $2: URL
|
|
# And this environment:
|
|
# WGET : the wget command to call
|
|
|
|
output="${1}"
|
|
url="${2}"
|
|
|
|
${WGET} -O "${output}" "${url}"
|