diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2021-03-04 16:08:53 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-03-04 16:09:29 +0100 |
commit | b853201a6d201da692b83b7d986170a2bcc989e8 (patch) | |
tree | fb96e29f37ad1c26bd8a8d5a58030f714858083a /run-tests.php | |
parent | 6543d4bc1de5e0d4d54372c764214535c8334432 (diff) | |
download | php-git-b853201a6d201da692b83b7d986170a2bcc989e8.tar.gz |
run-tests.php: Preserve .php on leak in one more place
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index e6ed2a169e..7a66370c39 100755 --- a/run-tests.php +++ b/run-tests.php @@ -2751,7 +2751,7 @@ COMMAND $cmd if (!strcmp($output, $wanted)) { $passed = true; - if (!$cfg['keep']['php']) { + if (!$cfg['keep']['php'] && !$leaked) { @unlink($test_file); } @unlink($tmp_post); |