scripts/download.pl: fix downloads with wget
authorPetr Štetiar <ynezz@true.cz>
Tue, 13 Sep 2022 05:40:37 +0000 (07:40 +0200)
committerPetr Štetiar <ynezz@true.cz>
Wed, 21 Sep 2022 09:52:40 +0000 (11:52 +0200)
commitc07c565ea671e9929b99fbd28c58bde5f5e50070
tree98169610b2c619ea8dceb877bc398c41f75d3e21
parentf14d7cef7cce3ce79b880f71b25e03e5fb844882
scripts/download.pl: fix downloads with wget

Several users of wget for downloads (curl is not available in the
system) have reported broken download functionality:

 wget --tries=5 --timeout=20 --output-document=-  https://cdn.kernel.org/pub/linux/kernel/v5.x/linux-5.10.142.tar.xz
 http://: Invalid host name.

Thats all happening due to '' was passed as an argument, which got later
expanded to http://.

In the context of a list constructor '' is not nothing, it is an empty
string element.  So fix it by using () as it will yield "nothing" and
thus not introduce an empty string element.

Fixes: #10692
Fixes: 90c6e3aedf16 ("scripts: always check certificates")
Signed-off-by: Jo-Philipp Wich <jo@mein.io> [shellwords() -> ()]
Signed-off-by: Petr Štetiar <ynezz@true.cz>
(cherry picked from commit 50a48faa1b8424e6b4b436b7118fffa2cba14b18)
scripts/download.pl