scripts/download.pl: make the download tool configurable

[openwrt/staging/nbd.git] / config / Config-devel.in

diff --git a/config/Config-devel.in b/config/Config-devel.in
index 3f73cb404dfe56c2078f3e3f249a026d5ce9e0d5..e16e6ecaabb8d57742882a90d680969d6e8f02c4 100644 (file)
--- 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 ""