Sync with Zend

diff --git a/main/main.c b/main/main.c
index c400928b5ba3b633895f1b647f5e45b9a29047b5..3f24facad64dadbc5dcc60e399551940250febb2 100644 (file)
--- 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);