mirror of
https://github.com/curl/curl.git
synced 2026-04-29 13:02:12 +03:00
tests: show which curl tool runtests.pl is using
To help debugging when there is issue finding or running it. Closes #11953
This commit is contained in:
parent
64896fefd0
commit
7370a7c760
1 changed files with 1 additions and 0 deletions
|
|
@ -2433,6 +2433,7 @@ if(!$randseed) {
|
|||
localtime(time);
|
||||
# seed of the month. December 2019 becomes 201912
|
||||
$randseed = ($year+1900)*100 + $mon+1;
|
||||
print "Using curl: $CURL\n";
|
||||
open(my $curlvh, "-|", shell_quote($CURL) . " --version 2>/dev/null") ||
|
||||
die "could not get curl version!";
|
||||
my @c = <$curlvh>;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue