diff options
| author | Dmitry Stogov <dmitry@zend.com> | 2019-02-20 00:06:57 +0300 |
|---|---|---|
| committer | Dmitry Stogov <dmitry@zend.com> | 2019-02-20 00:06:57 +0300 |
| commit | 555fb294ec4c1948b357ee43b6ca3c81873ddf26 (patch) | |
| tree | cd5eb94b9bcc9e99f3c1664b310c4aecdda38397 /run-tests.php | |
| parent | 6b0023897976b6fa8d1b1c5f90e25327d9000913 (diff) | |
| download | php-git-555fb294ec4c1948b357ee43b6ca3c81873ddf26.tar.gz | |
Don't preload tests without --FILE-- section
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 49da8c95bc..b9e14f373c 100755 --- a/run-tests.php +++ b/run-tests.php @@ -2262,7 +2262,7 @@ TEST $file $args = isset($section_text['ARGS']) ? ' -- ' . $section_text['ARGS'] : ''; - if ($preload) { + if ($preload && !empty($test_file)) { save_text($preload_filename, "<?php opcache_compile_file('$test_file');"); $local_pass_options = $pass_options; unset($pass_options); |