diff options
| -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 ed7f4c9e1a..93d8722063 100755 --- a/run-tests.php +++ b/run-tests.php @@ -254,6 +254,7 @@ $ini_overwrites = array( 'log_errors_max_len=0', 'opcache.fast_shutdown=0', 'opcache.file_update_protection=0', + 'zend.assertions=1', ); $no_file_cache = '-d opcache.file_cache= -d opcache.file_cache_only=0'; |