2014-10-21 16:05:56 +02:00
|
|
|
#!/usr/bin/env bash
|
2014-07-02 23:11:26 +02:00
|
|
|
|
2014-08-03 19:53:36 +02:00
|
|
|
# We want to catch any unexpected failure, and exit immediately
|
2014-07-02 23:11:26 +02:00
|
|
|
set -e
|
|
|
|
|
|
2014-08-03 19:53:36 +02:00
|
|
|
# Download helper for cp, to be called from the download wrapper script
|
|
|
|
|
# Expected arguments:
|
|
|
|
|
# $1: output file
|
|
|
|
|
# $2: source file
|
2014-07-02 23:11:26 +02:00
|
|
|
# And this environment:
|
|
|
|
|
# LOCALFILES: the cp command to call
|
|
|
|
|
|
2014-08-03 19:53:36 +02:00
|
|
|
output="${1}"
|
|
|
|
|
source="${2}"
|
2014-07-02 23:11:26 +02:00
|
|
|
|
2014-08-03 19:53:36 +02:00
|
|
|
${LOCALFILES} "${source}" "${output}"
|
