aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xscripts/download.pl1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/download.pl b/scripts/download.pl
index 3936f7659a..5c9397b932 100755
--- a/scripts/download.pl
+++ b/scripts/download.pl
@@ -139,6 +139,7 @@ sub download
};
} else {
my @cmd = download_cmd("$mirror/$url_filename");
+ print STDERR "+ ".join(" ",@cmd)."\n";
open(FETCH_FD, '-|', @cmd) or die "Cannot launch curl or wget.\n";
$hash_cmd and do {
open MD5SUM, "| $hash_cmd > '$target/$filename.hash'" or die "Cannot launch $hash_cmd.\n";