restore removed line (thanks Jani)

17 years ago · 61b79e7776
1 changed files with 1 additions and 0 deletions
--- a/run-tests.php
+++ b/run-tests.php
@ -1140,6 +1140,7 @@ function run_test($php, $file, $env)
 	global $leak_check, $temp_source, $temp_target, $cfg, $environment;
 	global $no_clean;
 	global $valgrind_version;
+
 	$temp_filenames = null;
 	$org_file = $file;