From: Marcus Boerger <helly@php.net>
Date: Sun, 12 Feb 2006 18:46:07 +0000 (+0000)
Subject: - Reinsert line deleted per accident
X-Git-Tag: RELEASE_1_2~215
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=72c3fc6172df1210e65834c8e2760bd6a55c115e;p=php

- Reinsert line deleted per accident
---

diff --git a/run-tests.php b/run-tests.php
index 49d650f8ea..77bfb96554 100755
--- 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");'`;