From 7370a7c7603c513d9a3de84df23ef077bbdcc7a6 Mon Sep 17 00:00:00 2001
From: Viktor Szakats <commit@vsz.me>
Date: Tue, 26 Sep 2023 11:02:08 +0000
Subject: [PATCH] tests: show which curl tool `runtests.pl` is using

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

Closes #11953
---
 tests/runtests.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/runtests.pl b/tests/runtests.pl
index 5c3643f994..3798b1aee6 100755
--- 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>;