DEBUG win ZTS + perf

mvorisek · mvorisek · commit 753a14365177 · 2022-09-12T14:10:52.000+02:00
diff --git a/run-tests.php b/run-tests.php
@@ -877,14 +877,17 @@ function write_information(): void
         $ext_dir = ini_get('extension_dir');
         foreach (scandir($ext_dir) as $file) {
             if (preg_match('/^(?:php_)?([_a-zA-Z0-9]+)\.(?:so|dll)$/', $file, $matches)) {
-                if (@dl($matches[1])) {
+                $t = microtime(true);
+                if (dl($matches[1])) {
                     $exts[] = $matches[1];
+                    $exts[] = microtime(true) - $t;
                 }
             }
         }
         echo implode(',', $exts);
         PHP);
     $extensionsNames = explode(',', shell_exec("$php $pass_options $info_params $no_file_cache \"$info_file\""));
+    print_r($extensionsNames);echo "\nxxxxxx\n\n\n";
     $exts_to_test = array_unique(remap_loaded_extensions_names($extensionsNames));
     // check for extensions that need special handling and regenerate
     $info_params_ex = [

Original file line number	Diff line number	Diff line change
`@@ -877,14 +877,17 @@ function write_information(): void`
`877`	`877`	`$ext_dir = ini_get('extension_dir');`
`878`	`878`	`foreach (scandir($ext_dir) as $file) {`
`879`	`879`	`if (preg_match('/^(?:php_)?([_a-zA-Z0-9]+)\.(?:so\|dll)$/', $file, $matches)) {`
`880`		`- if (@dl($matches[1])) {`
	`880`	`+ $t = microtime(true);`
	`881`	`+ if (dl($matches[1])) {`
`881`	`882`	`$exts[] = $matches[1];`
	`883`	`+ $exts[] = microtime(true) - $t;`
`882`	`884`	`}`
`883`	`885`	`}`
`884`	`886`	`}`
`885`	`887`	`echo implode(',', $exts);`
`886`	`888`	`PHP);`
`887`	`889`	`$extensionsNames = explode(',', shell_exec("$php $pass_options $info_params $no_file_cache \"$info_file\""));`
	`890`	`+ print_r($extensionsNames);echo "\nxxxxxx\n\n\n";`
`888`	`891`	`$exts_to_test = array_unique(remap_loaded_extensions_names($extensionsNames));`
`889`	`892`	`// check for extensions that need special handling and regenerate`
`890`	`893`	`$info_params_ex = [`