diff options
| -rw-r--r-- | main/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/main.c b/main/main.c index c400928b5b..3f24facad6 100644 --- a/main/main.c +++ b/main/main.c @@ -1187,7 +1187,7 @@ PHPAPI int php_lint_script(zend_file_handle *file CLS_DC ELS_DC PLS_DC) UpdateIniFromRegistry(file->filename); #endif - op_array = zend_compile_file(file CLS_CC); + op_array = zend_compile_file(file, ZEND_INCLUDE CLS_CC); retval = (op_array?SUCCESS:FAILURE); destroy_op_array(op_array); |