diff options
| -rw-r--r-- | NEWS | 10 | ||||
| -rw-r--r-- | THANKS | 1 |
2 files changed, 6 insertions, 5 deletions
@@ -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 @@ -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 |