clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-21 09:57:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'PHP-8.0'

Browse Source
This commit is contained in:
Bob Weinand 2021-05-31 10:48:11 +02:00
commit 13d396bb59
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
run-tests.php
View File

@ -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 = <<<SH
#!/bin/sh
{$exported_environment}
case "$1" in
"gdb")
gdb --args {$orig_cmd}