On 12/05/2012 06:06 AM, Stas Malyshev wrote: >> Any objections to applying the attached patch? This would suppress date >> output in the generated output so that (hopefully) files generated by >> re2c are not changed during the build just because of the date. > > I think it is a great idea. If we ever need a date for checked in files, > we have it on git commit, date in the text is not useful anyway.
Okay. But does the patch look okay? Is it sufficient? How can I force a rebuild of all files generated through re2c to remove the date from the files? To which branches should the patch be applied? Thanks! -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
