551 |
{ "output_file", &spec_outfile, tok_setopt }, /* -o */ |
{ "output_file", &spec_outfile, tok_setopt }, /* -o */ |
552 |
{ "file_prefix", &spec_file_prefix, tok_setopt }, /* -b */ |
{ "file_prefix", &spec_file_prefix, tok_setopt }, /* -b */ |
553 |
{ "name_prefix", &spec_name_prefix, tok_setopt }, /* -p */ |
{ "name_prefix", &spec_name_prefix, tok_setopt }, /* -p */ |
554 |
|
#endif |
555 |
{ "header_extension", NULL, tok_hdrext}, |
{ "header_extension", NULL, tok_hdrext}, |
556 |
{ "source_extension", NULL, tok_srcext}, |
{ "source_extension", NULL, tok_srcext}, |
|
#endif |
|
557 |
{ "verbose", &verbose_flag, tok_noop }, /* -v */ |
{ "verbose", &verbose_flag, tok_noop }, /* -v */ |
558 |
{ "debug", &debug_flag, tok_noop }, /* -t */ |
{ "debug", &debug_flag, tok_noop }, /* -t */ |
559 |
{ "semantic_parser", &semantic_parser, tok_noop }, |
{ "semantic_parser", &semantic_parser, tok_noop }, |