diff options
| -rwxr-xr-x | run-tests.php | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/run-tests.php b/run-tests.php index 5f8055d2f3..b2cab41133 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1971,8 +1971,6 @@ COMMAND $cmd } } - @unlink($tmp_post); - $leaked = false; $passed = false; @@ -2164,6 +2162,10 @@ COMMAND $cmd $restype[] = 'WARN'; } + if ($passed) { + @unlink($tmp_post); + } + if (!$passed) { if (isset($section_text['XFAIL'])) { $restype[] = 'XFAIL'; |
