diff options
Diffstat (limited to 'Zend/zend_ini_scanner.l')
| -rw-r--r-- | Zend/zend_ini_scanner.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Zend/zend_ini_scanner.l b/Zend/zend_ini_scanner.l index 33d1d294dd..fb85c101ff 100644 --- a/Zend/zend_ini_scanner.l +++ b/Zend/zend_ini_scanner.l @@ -93,6 +93,7 @@ void zend_ini_close_file(zend_file_handle *fh TSRMLS_DC) NEWLINE ("\r"|"\n"|"\r\n") %option noyywrap +%option never-interactive %% |