aboutsummaryrefslogtreecommitdiffstats
path: root/config
diff options
context:
space:
mode:
authorChristian Marangi <ansuelsmth@gmail.com>2022-10-01 01:36:48 +0200
committerChristian Marangi <ansuelsmth@gmail.com>2022-10-20 00:35:19 +0200
commitf17608ddca299dc617595247f2ad30a73390dbd7 (patch)
tree6b40d3a290fe403c8bb4f1ddd016b54ad0b82da3 /config
parent3268f7b9fa627d33e98261386fb8a8e9dabac2d4 (diff)
downloadupstream-f17608ddca299dc617595247f2ad30a73390dbd7.tar.gz
upstream-f17608ddca299dc617595247f2ad30a73390dbd7.tar.bz2
upstream-f17608ddca299dc617595247f2ad30a73390dbd7.zip
scripts/download.pl: make the download tool configurable
Introduce a new option in the "Advanced configuration options" to configure a custom download tool. By declaring a string in "Use custom download tool" an user can force what command to use to download package. With the string empty the default tool used is curl, with wget as a fallback if not available. download.pl supports 3 tools officially aria2c, curl and wget. If one of the tool is used in this config, download.pl will use the default args to make use of them. If the provided string is different than aria2c, curl or wget, the command is used as is and the download url will be appended at the end of such command. While at it also tweak the tool selection logic and chose the tool only once when the script is called and move aria2c specific variables in the relevant section. Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
Diffstat (limited to 'config')
-rw-r--r--config/Config-devel.in14
1 files changed, 14 insertions, 0 deletions
diff --git a/config/Config-devel.in b/config/Config-devel.in
index 3f73cb404d..e16e6ecaab 100644
--- a/config/Config-devel.in
+++ b/config/Config-devel.in
@@ -17,6 +17,20 @@ menuconfig DEVEL
Store built firmware images and filesystem images in this directory.
If not set, uses './bin/$(BOARD)'
+ config DOWNLOAD_TOOL_CUSTOM
+ string "Use custom download tool" if DEVEL
+ default ""
+ help
+ Use and force custom download tool instead of relying on autoselection
+ between curl if available and wget as a fallback.
+
+ download.pl supports 3 tools officially aria2c, curl and wget.
+ If one of the tool is used in this config, download.pl will use the
+ default args to make use of them.
+
+ If the provided string is different than aria2c, curl or wget, the command
+ is used as is and the download url will be appended at the end of such command.
+
config DOWNLOAD_FOLDER
string "Download folder" if DEVEL
default ""