Paul Eggert b61c697827 Do not use @output_header_name@ unless ...

b4_defines_flag is set.  This fixes two bugs reported by
Tim Van Holder in
<http://mail.gnu.org/archive/html/bug-bison/2003-01/msg00071.html>
and <http://mail.gnu.org/archive/html/bug-bison/2003-01/msg00073.html>.

2003-01-29 06:31:02 +00:00

20 KiB

Raw Blame History

View Raw