build: add PKG_SOURCE_URL_FILE support
authorKamil Wcislo <kamil.wcislo@lpnplant.io>
Thu, 5 Jul 2018 19:40:19 +0000 (21:40 +0200)
committerMatthias Schiffer <mschiffer@universe-factory.net>
Sat, 23 Nov 2019 12:36:28 +0000 (13:36 +0100)
commit15ce616c2de797259cc125f1ece5f2358ea4bd5a
treee751f2f2cf9af6f835c5327ed5645a615c5a261b
parent436dbf12aa7381bd6db1b03b36be5a73df386eb4
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)
include/download.mk