Skip to content

Commit 757e147

Browse files
committed
Update run-tests.php
1 parent 3a0d1cc commit 757e147

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

run-tests.php

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -881,7 +881,8 @@ function write_information(array $user_tests, $phpdbg): void
881881
}
882882
echo implode(',', $exts);
883883
PHP);
884-
$extensionsNames = explode(',', shell_exec("$php_escaped $pass_options $info_params $no_file_cache \"$info_file\""));
884+
$shellOutput = shell_exec("$php_escaped $pass_options $info_params $no_file_cache \"$info_file\"");
885+
$extensionsNames = $shellOutput !== null && $shellOutput !== false ? explode(',', $shellOutput) : [];
885886
$exts_to_test = array_unique(remap_loaded_extensions_names($extensionsNames));
886887
// check for extensions that need special handling and regenerate
887888
$info_params_ex = [

0 commit comments

Comments
 (0)