On Fri, Mar 30, 2012 at 4:06 AM, Yasuo Ohgaki wrote:
> Hi,
>
> I also would like to remove date from them.
> It seems --no-generation-date is the option for that.
*push*
Would be really nice to add this. The constantly changed files are a
bit annoying :)
Nikita
--
PHP Internals - PHP Runtime
Hi,
I also would like to remove date from them.
It seems --no-generation-date is the option for that.
$ re2c --version
re2c 0.13.5
--
Yasuo Ohgaki
yohg...@ohgaki.net
2012/3/27 Sebastian Bergmann :
> Zend/zend_language_scanner.c and Zend/zend_language_scanner_defs.h
> are generated by re2c a
Zend/zend_language_scanner.c and Zend/zend_language_scanner_defs.h
are generated by re2c and under version control. This is not a
problem per-se. But since there is a timestamp in the generated
files they differ after a build, leaving the repository in an
unclean state:
➜ src git:(PHP-5.
