diff options
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 7f4fce37e2..f467b74b25 100755 --- a/run-tests.php +++ b/run-tests.php @@ -2487,7 +2487,6 @@ COMMAND $cmd } } - @unlink($tmp_post); @unlink($preload_filename); $leaked = false; @@ -2692,6 +2691,10 @@ COMMAND $cmd $restype[] = 'WARN'; } + if ($passed) { + @unlink($tmp_post); + } + if (!$passed) { if (isset($section_text['XFAIL'])) { $restype[] = 'XFAIL'; |