diff options
author | Dmitry Stogov <dmitry@zend.com> | 2013-11-26 11:34:41 +0400 |
---|---|---|
committer | Dmitry Stogov <dmitry@zend.com> | 2013-11-26 11:34:41 +0400 |
commit | a8c7e50f4d7d73797615734978259d640b3835c1 (patch) | |
tree | 2f49a4e68e23f69cd5405d3fd07370b1239ef058 /run-tests.php | |
parent | 29ee38bf0d94351b86dc74cf187e884ae46ce71b (diff) | |
download | php-git-a8c7e50f4d7d73797615734978259d640b3835c1.tar.gz |
Fixed bug #65559 (Opcache: cache not cleared if changes occur while running)
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index a88d37d000..d53c3b6c5e 100755 --- a/run-tests.php +++ b/run-tests.php @@ -241,6 +241,7 @@ $ini_overwrites = array( 'precision=14', 'memory_limit=128M', 'opcache.fast_shutdown=0', + 'opcache.file_update_protection=0', ); function write_information($show_html) |