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>
Tue, 13 Sep 2022 07:14:09 +0000 (09:14 +0200)
commit50a48faa1b8424e6b4b436b7118fffa2cba14b18
tree2fc8cb162240f728f23c911f390c28995814847b
parentc836ca84e8f641e10a8349a8f9b7432b33d6cec1
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>
scripts/download.pl