From d3c9585204d8dc6231d2dd2ae1ac882a6ce21bec Mon Sep 17 00:00:00 2001 From: Ilija Tovilo Date: Fri, 10 Mar 2023 01:10:25 +0100 Subject: [PATCH] [skip ci] Fix diff cmd env name in run-tests.php --- run-tests.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run-tests.php b/run-tests.php index e7cc6a7f28c..a703c77a33a 100755 --- a/run-tests.php +++ b/run-tests.php @@ -2972,7 +2972,7 @@ function generate_diff_external(string $diff_cmd, string $exp_file, string $outp { $retval = shell_exec("{$diff_cmd} {$exp_file} {$output_file}"); - return is_string($retval) ? $retval : 'Could not run external diff tool set through PHP_TEST_DIFF_CMD environment variable'; + return is_string($retval) ? $retval : 'Could not run external diff tool set through TEST_PHP_DIFF_CMD environment variable'; } function generate_diff(string $wanted, ?string $wanted_re, string $output): string