news: fixes

Reported by Jacob L. Mandelson.

* NEWS: here.
This commit is contained in:
Akim Demaille
2020-06-27 17:03:28 +02:00
parent 0895858d8e
commit d796e11f8f
2 changed files with 6 additions and 5 deletions

10
NEWS
View File

@@ -6,11 +6,11 @@ GNU Bison NEWS
*** File prefix mapping
Bison learned a new argument, '--file-prefix-map OLD=NEW'. Any file path in
the output (specifically #line directives and #ifdef header guards) that
being with the prefix OLD will have it replace with the prefix NEW, similar
to the -ffile-prefix-map in GCC. This option can be used to make bison output
reproducible.
Bison learned a new argument, `--file-prefix-map OLD=NEW`. Any file path
in the output (specifically `#line` directives and `#ifdef` header guards)
that begins with the prefix OLD will have it replaced with the prefix NEW,
similar to the `-ffile-prefix-map` in GCC. This option can be used to
make bison output reproducible.
** Changes

1
THANKS
View File

@@ -84,6 +84,7 @@ Guido Trentalancia trentalg@aston.ac.uk
H. Merijn Brand h.m.brand@hccnet.nl
Hans Åberg haberg-1@telia.com
Horst Von Brand vonbrand@inf.utfsm.cl
Jacob L. Mandelson jlm-bbison@jlm.ofb.net
Jan Nieuwenhuizen janneke@gnu.org
Jannick thirdedition@gmx.net
Jeff Hammond jeff_hammond@acm.org