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 /NEWS | |
parent | 0895858d8e0d1fa66c6dd0d2e45416488d7de513 (diff) | |
download | bison-d796e11f8f7d459408824f0d2c8174e3f4715f84.tar.gz |
news: fixes
Reported by Jacob L. Mandelson.
* NEWS: here.
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 10 |
1 files changed, 5 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 |