clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-21 09:57:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix test runs with Opcache enabled PHP on top

Browse Source 
Writing to the same file, while it's cached, is an issue.
This commit is contained in:
Anatol Belski 2017-01-13 14:37:37 +01:00
parent 19363de12f
commit 527bf4d8e6
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
run-tests.php
View File

@ -273,6 +273,9 @@ More .INIs : " , (function_exists(\'php_ini_scanned_files\') ? str_replace("\n"
$phpdbg_info = '';
}
if (function_exists('opcache_invalidate')) {
opcache_invalidate($info_file, true);
}
@unlink($info_file);
// load list of enabled extensions
@ -293,6 +296,9 @@ More .INIs : " , (function_exists(\'php_ini_scanned_files\') ? str_replace("\n"
}
}
if (function_exists('opcache_invalidate')) {
opcache_invalidate($info_file, true);
}
@unlink($info_file);
// Write test context information.