diff options
| author | Zeev Suraski <zeev@php.net> | 2000-08-15 16:46:43 +0000 |
|---|---|---|
| committer | Zeev Suraski <zeev@php.net> | 2000-08-15 16:46:43 +0000 |
| commit | c9dca6407543fe16347cb3c995a0c22c860da0e5 (patch) | |
| tree | c4824d6e4fad28ee449ebdf19199d2ccdc5e6cab | |
| parent | 7795aca4ca2c7e5ec8520ee1e72b9810b8654c7d (diff) | |
| download | php-git-c9dca6407543fe16347cb3c995a0c22c860da0e5.tar.gz | |
Sync with Zend
| -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); |