From 15ce616c2de797259cc125f1ece5f2358ea4bd5a Mon Sep 17 00:00:00 2001 From: Kamil Wcislo Date: Thu, 5 Jul 2018 21:40:19 +0200 Subject: [PATCH] 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 Signed-off-by: Matthias Schiffer (cherry picked from commit 09c428ec6bca27bdb31e2f6fef85b07787cead30) --- include/download.mk | 1 + 1 file changed, 1 insertion(+) diff --git a/include/download.mk b/include/download.mk index 09794e155e..14d68bf8f5 100644 --- a/include/download.mk +++ b/include/download.mk @@ -289,6 +289,7 @@ endef define Download/default FILE:=$(PKG_SOURCE) URL:=$(PKG_SOURCE_URL) + URL_FILE:=$(PKG_SOURCE_URL_FILE) SUBDIR:=$(PKG_SOURCE_SUBDIR) PROTO:=$(PKG_SOURCE_PROTO) $(if $(PKG_SOURCE_MIRROR),MIRROR:=$(filter 1,$(PKG_MIRROR))) -- 2.25.1