diff --git a/run-tests.php b/run-tests.php index 9450a47151d..b7e85b293fc 100755 --- a/run-tests.php +++ b/run-tests.php @@ -2754,9 +2754,14 @@ $output if (!$passed || $leaked) { // write .sh if (strpos($log_format, 'S') !== false) { + $env_lines = []; + foreach ($env as $env_var => $env_val) { + $env_lines[] = "export $env_var=" . escapeshellarg($env_val); + } + $exported_environment = $env_lines ? "\n" . implode("\n", $env_lines) . "\n" : ""; $sh_script = <<