Re: re2c --no-generation-date
| From: | Sebastian Bergmann | Date: | Wed, 05 Dec 2012 07:06:51 +0000 |
| Subject: | Re: re2c --no-generation-date | ||
| References: | 1 2 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-64154@lists.php.net to get a copy of this message | ||
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!