[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Make sure generated file name extensions are changed
From: |
Joel E. Denny |
Subject: |
Re: Make sure generated file name extensions are changed |
Date: |
Tue, 28 Oct 2008 21:58:54 -0400 (EDT) |
On Tue, 7 Oct 2008, Joel E. Denny wrote:
> Di-an's email has prompted me to change the way Bison computes output file
> names.
I'm still working on this and will hopefully push some changes tomorrow.
> On Mon, 6 Oct 2008, Di-an JAN wrote:
> > This patch also checks that the input file name is not used as an output
> > file name in check_file_name_check, with a fatal error if it is.
>
> I think this change is a nice improvement regardless of the issues above.
I pushed the parts of Di-an's patch that implement this. The sum of
Di-an's committed changes is still less than 15 lines, so I believe
they're not legally significant for copyright.