diff options
| -rwxr-xr-x | scripts/download.pl | 1 |
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"; |