Re: bison-20001221

[Hans Aberg]

At 10:17 -0500 1-01-12, Jesse Thilo wrote:
>  Akim is right: we
>are not going to touch imported library files.  It's too much
>headache.

Actually, it is a pretty normal thing to modify library files: Just make a
local copy of the sources, and if the includes are "..." it will be read
before any library file. At least my linker overrides a library duplicate
names.

It is prudent though to give such modified files new names, so that
somebiody does not grab the wrong file by mistake (thinking the modified
file is the original one).

  Hans Aberg