diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-04-22 17:30:20 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-04-23 18:29:10 +0200 |
commit | a992a3cb9e5687a303ca3eba2b3f7afaea91ec5b (patch) | |
tree | cacf527414d193bbb3ca188bdb31184bc92be072 /THANKS | |
parent | 95d688957fccb504c7dc588be1bd72fe029b7460 (diff) | |
download | bison-a992a3cb9e5687a303ca3eba2b3f7afaea91ec5b.tar.gz |
diagnostics: don't try to quote special files
Based on a report by Todd Freed.
http://lists.gnu.org/archive/html/bug-bison/2019-04/msg00000.html
See also https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90034
* src/location.c (caret_info): Also track the file name.
(location_caret): Don't quote special files.
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -170,6 +170,7 @@ Tim Josling tej@melbpc.org.au Tim Landscheidt tim@tim-landscheidt.de Tim Van Holder tim.van.holder@pandora.be Tobias Frost tobi@debian.org +Todd Freed todd.freed@gmail.com Tom Lane tgl@sss.pgh.pa.us Tom Tromey tromey@cygnus.com Tommy Nordgren tommy.nordgren@chello.se |