54adff55d5
Maintaining the download helpers in the Makefile has proved to be a bit complex, so move it to a shell script. Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
17 lines
275 B
Bash
Executable File
17 lines
275 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# We want to catch any command failure, and exit immediately
|
|
set -e
|
|
|
|
# Download helper for scp
|
|
# Call it with:
|
|
# $1: URL
|
|
# $2: output file
|
|
# And this environment:
|
|
# SCP : the scp command to call
|
|
|
|
url="${1}"
|
|
output="${2}"
|
|
|
|
${SCP} "${url}" "${output}"
|