mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-09 12:23:04 +00:00
* getargs.c (skeleton): New variable.
(longopts): --skeleton is a new option. (shortopts, getargs): -S is a new option. * getargs.h: Declare skeleton. * output.c (output_parser): Use it.
This commit is contained in:
@@ -34,7 +34,7 @@ bison.info-1: 1306
|
||||
bison.info-2: 50276
|
||||
bison.info-3: 98079
|
||||
bison.info-4: 147596
|
||||
bison.info-5: 191991
|
||||
bison.info-5: 192129
|
||||
|
||||
Tag Table:
|
||||
(Indirect)
|
||||
@@ -124,11 +124,11 @@ Node: Tie-in Recovery172317
|
||||
Node: Debugging174489
|
||||
Node: Invocation177790
|
||||
Node: Bison Options178520
|
||||
Node: Environment Variables181893
|
||||
Node: Option Cross Key182741
|
||||
Node: VMS Invocation183631
|
||||
Node: Table of Symbols184415
|
||||
Node: Glossary191991
|
||||
Node: Index198281
|
||||
Node: Environment Variables182031
|
||||
Node: Option Cross Key182879
|
||||
Node: VMS Invocation183769
|
||||
Node: Table of Symbols184553
|
||||
Node: Glossary192129
|
||||
Node: Index198419
|
||||
|
||||
End Tag Table
|
||||
|
||||
@@ -846,6 +846,11 @@ Operations modes:
|
||||
|
||||
Tuning the parser:
|
||||
|
||||
`-S FILE'
|
||||
`--skeleton=FILE'
|
||||
Specify the skeleton to use. You probably don't need this option
|
||||
unless you are developing Bison.
|
||||
|
||||
`-t'
|
||||
`--debug'
|
||||
Output a definition of the macro `YYDEBUG' into the parser file, so
|
||||
|
||||
@@ -4984,6 +4984,11 @@ bison -y $*
|
||||
Tuning the parser:
|
||||
|
||||
@table @option
|
||||
@item -S @var{file}
|
||||
@itemx --skeleton=@var{file}
|
||||
Specify the skeleton to use. You probably don't need this option unless
|
||||
you are developing Bison.
|
||||
|
||||
@item -t
|
||||
@itemx --debug
|
||||
Output a definition of the macro @code{YYDEBUG} into the parser file, so
|
||||
|
||||
@@ -1,3 +1,3 @@
|
||||
@set UPDATED 18 January 2001
|
||||
@set UPDATED 16 March 2001
|
||||
@set EDITION 1.28a
|
||||
@set VERSION 1.28a
|
||||
|
||||
Reference in New Issue
Block a user