diff options
author | Yann E. MORIN <yann.morin.1998@free.fr> | 2014-08-06 18:47:53 +0200 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2014-08-06 19:41:05 +0200 |
commit | 8f76366c0f14861321bc73c2f18306af45ce9f1a (patch) | |
tree | 0ae142ba48b7a658bfe3bbe491ff9382f61f377c /support/download | |
parent | 9d1ab4321168fdda714be30c6b53e2ce0027509d (diff) |
support/download: fix the git helper output file format
The git helper uses gzip to compress the intermediate tarball. But gzip
removes the source file, and create a new file named by appending .gz to
the original file name.
Thus, we end up with output.gz, while the download wrapper expects jsut
output, and thus believes the downlaod failed.
Fix that by storing the tar from git to a temporary file, then pipe this
file to gzip's stdin, and redirect gzip's stdout to the output file.
Reported-by: Graham Newton <gnewton@peavey-eu.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Cc: Peter Seiderer <ps.report@gmx.net>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'support/download')
-rwxr-xr-x | support/download/git | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/support/download/git b/support/download/git index d4515301a..ff6b5c319 100755 --- a/support/download/git +++ b/support/download/git @@ -34,6 +34,6 @@ if [ ${git_done} -eq 0 ]; then fi GIT_DIR="${basename}" \ -${GIT} archive --prefix="${basename}/" -o "${output}" --format=tar "${cset}" +${GIT} archive --prefix="${basename}/" -o "${output}.tmp" --format=tar "${cset}" -gzip "${output}" +gzip <"${output}.tmp" >"${output}" |