tests: show which curl tool `runtests.pl` is using

To help debugging when there is issue finding or running it.

Closes #11953

diff --git a/tests/runtests.pl b/tests/runtests.pl
index 5c3643f99400d6381f3130b50ee4ae282e60d7fa..3798b1aee63c81f7247154c6e85aaa988d78c8c2 100755 (executable)
--- a/tests/runtests.pl
+++ b/tests/runtests.pl
@@ -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>;