- Reinsert line deleted per accident

21 years ago · 72c3fc6172
1 changed files with 1 additions and 0 deletions
--- a/run-tests.php
+++ b/run-tests.php
@ -184,6 +184,7 @@ More .INIs  : " , (function_exists(\'php_ini_scanned_files\') ? str_replace("\n"
 	settings2array($ini_overwrites,$info_params);
 	settings2params($info_params);
 	$php_info = `$php $pass_options $info_params $info_file`;
+	@unlink($info_file);
 	define('TESTED_PHP_VERSION', `$php -r 'echo PHP_VERSION;'`);

 	$unicode = `$php $pass_options $info_params -r 'echo ini_get("unicode_semantics");'`;