diff options
| author | Kamil Wcislo <kamil.wcislo@lpnplant.io> | 2018-07-05 21:40:19 +0200 |
|---|---|---|
| committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2019-11-23 13:36:28 +0100 |
| commit | 15ce616c2de797259cc125f1ece5f2358ea4bd5a (patch) | |
| tree | e751f2f2cf9af6f835c5327ed5645a615c5a261b /scripts | |
| parent | 436dbf12aa7381bd6db1b03b36be5a73df386eb4 (diff) | |
| download | upstream-15ce616c2de797259cc125f1ece5f2358ea4bd5a.tar.gz upstream-15ce616c2de797259cc125f1ece5f2358ea4bd5a.tar.bz2 upstream-15ce616c2de797259cc125f1ece5f2358ea4bd5a.zip | |
build: add PKG_SOURCE_URL_FILE support
It seems that there is a missing PKG_SOURCE_URL_FILE support.
This little fix adds the support for packages to change the name of the
downloaded file.
Sometimes it is desirable to change the downloaded archive file name, like
for mitigating name conflicts for different packages (some files on the server
could be named like, e.g. 2018-01-01.tar.gz) or for the cases that there is
no name for the file in the URL (e.g. http://someserver.com/download).
Signed-off-by: Kamil Wcislo <kamil.wcislo@lpnplant.io>
Signed-off-by: Matthias Schiffer <mschiffer@universe-factory.net>
(cherry picked from commit 09c428ec6bca27bdb31e2f6fef85b07787cead30)
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions