bison-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: %name-prefix overrides --name-prefix?


From: Hans Aberg
Subject: Re: %name-prefix overrides --name-prefix?
Date: Sun, 10 Dec 2006 13:44:02 +0100

On 10 Dec 2006, at 06:38, Paul Eggert wrote:

So I don't see a clear precedent here.  Also, I don't sense
a strong preference on my own part.

As a comparison, it is quite useful to have a linker that admits the user to override library functions. The question is whether a user is more likely to want to override by a start-up command, or a modification of the compiled file. Perhaps it is the former, that then should have precedence, would want to have this feature.

  Hans Aberg






reply via email to

[Prev in Thread] Current Thread [Next in Thread]