|
 |
8e1e40 |
diff -up bison-2.7/src/getargs.c\~ bison-2.7/src/getargs.c
|
|
|
8e1e40 |
--- bison-2.7/src/getargs.c~ 2012-12-05 14:51:18.000000000 +0100
|
|
|
8e1e40 |
+++ bison-2.7/src/getargs.c 2013-05-17 17:45:53.188616509 +0200
|
|
|
8e1e40 |
@@ -80,7 +80,6 @@ int skeleton_prio = default_prio;
|
|
|
8e1e40 |
const char *skeleton = NULL;
|
|
|
8e1e40 |
int language_prio = default_prio;
|
|
|
8e1e40 |
struct bison_language const *language = &valid_languages[0];
|
|
|
8e1e40 |
-const char *include = NULL;
|
|
|
8e1e40 |
|
|
|
8e1e40 |
|
|
|
8e1e40 |
/** Decode an option's set of keys.
|
|
|
8e1e40 |
@@ -500,12 +499,10 @@ static char const short_options[] =
|
|
|
8e1e40 |
"b:"
|
|
|
8e1e40 |
"d"
|
|
|
8e1e40 |
"f::"
|
|
|
8e1e40 |
- "e"
|
|
|
8e1e40 |
"g::"
|
|
|
8e1e40 |
"h"
|
|
|
8e1e40 |
"k"
|
|
|
8e1e40 |
"l"
|
|
|
8e1e40 |
- "n"
|
|
|
8e1e40 |
"o:"
|
|
|
8e1e40 |
"p:"
|
|
|
8e1e40 |
"r:"
|
|
|
8e1e40 |
@@ -535,7 +532,6 @@ static struct option const long_options[
|
|
|
8e1e40 |
|
|
|
8e1e40 |
/* Parser. */
|
|
|
8e1e40 |
{ "name-prefix", required_argument, 0, 'p' },
|
|
|
8e1e40 |
- { "include", required_argument, 0, 'I' },
|
|
|
8e1e40 |
|
|
|
8e1e40 |
/* Output. */
|
|
|
8e1e40 |
{ "file-prefix", required_argument, 0, 'b' },
|
|
|
8e1e40 |
@@ -564,7 +560,6 @@ static struct option const long_options[
|
|
|
8e1e40 |
{ "force-define", required_argument, 0, 'F' },
|
|
|
8e1e40 |
{ "locations", no_argument, 0, LOCATIONS_OPTION },
|
|
|
8e1e40 |
{ "no-lines", no_argument, 0, 'l' },
|
|
|
8e1e40 |
- { "raw", no_argument, 0, 0 },
|
|
|
8e1e40 |
{ "skeleton", required_argument, 0, 'S' },
|
|
|
8e1e40 |
{ "language", required_argument, 0, 'L' },
|
|
|
8e1e40 |
{ "token-table", no_argument, 0, 'k' },
|
|
|
8e1e40 |
@@ -623,10 +618,6 @@ getargs (int argc, char *argv[])
|
|
|
8e1e40 |
}
|
|
|
8e1e40 |
break;
|
|
|
8e1e40 |
|
|
|
8e1e40 |
- case 'I':
|
|
|
8e1e40 |
- include = AS_FILE_NAME (optarg);
|
|
|
8e1e40 |
- break;
|
|
|
8e1e40 |
-
|
|
|
8e1e40 |
case 'L':
|
|
|
8e1e40 |
language_argmatch (optarg, command_line_prio,
|
|
|
8e1e40 |
command_line_location ());
|
|
|
8e1e40 |
|
|
|
8e1e40 |
Diff finished. Fri May 17 17:45:58 2013
|