scripts/download.pl: print the command used to download files
authorFelix Fietkau <nbd@nbd.name>
Tue, 9 May 2017 13:20:42 +0000 (15:20 +0200)
committerFelix Fietkau <nbd@nbd.name>
Thu, 25 May 2017 17:01:07 +0000 (19:01 +0200)
Signed-off-by: Felix Fietkau <nbd@nbd.name>
scripts/download.pl

index 3936f7659a600468bf530106120a586c16cc08fd..5c9397b93259958f6dcf534d412846566a7c137c 100755 (executable)
@@ -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";