283b8b7fea
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
294 B
Bash
Executable File
17 lines
294 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# We want to catch any command failure, and exit immediately
|
|
set -e
|
|
|
|
# Download helper for cp
|
|
# Call it with:
|
|
# $1: source file
|
|
# $2: output file
|
|
# And this environment:
|
|
# LOCALFILES: the cp command to call
|
|
|
|
source="${1}"
|
|
output="${2}"
|
|
|
|
${LOCALFILES} "${source}" "${output}"
|