554 |
#endif |
#endif |
555 |
{ "header_extension", NULL, tok_hdrext}, |
{ "header_extension", NULL, tok_hdrext}, |
556 |
{ "source_extension", NULL, tok_srcext}, |
{ "source_extension", NULL, tok_srcext}, |
557 |
|
{ "define", NULL, tok_define }, |
558 |
{ "verbose", &verbose_flag, tok_noop }, /* -v */ |
{ "verbose", &verbose_flag, tok_noop }, /* -v */ |
559 |
{ "debug", &debug_flag, tok_noop }, /* -t */ |
{ "debug", &debug_flag, tok_noop }, /* -t */ |
560 |
{ "semantic_parser", &semantic_parser, tok_noop }, |
{ "semantic_parser", &semantic_parser, tok_noop }, |