diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-06-27 17:03:28 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-06-27 17:04:50 +0200 |
commit | d796e11f8f7d459408824f0d2c8174e3f4715f84 (patch) | |
tree | 356a2cfa478062cd6d67adb35bf1a411e18d1ec9 | |
parent | 0895858d8e0d1fa66c6dd0d2e45416488d7de513 (diff) | |
download | bison-d796e11f8f7d459408824f0d2c8174e3f4715f84.tar.gz |
news: fixes
Reported by Jacob L. Mandelson.
* NEWS: here.
-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 |