* src/bison.simple: Remove YYERROR_VERBOSE using.

[bison.git] / src / getargs.h

diff --git a/src/getargs.h b/src/getargs.h
index 7a7bdef2247e16b84f69ac29e171ed78d7fa79ce..f97e9b58462a87f5dbd61d37dcaaff97365cc93f 100644 (file)
--- a/src/getargs.h
+++ b/src/getargs.h
@@ -1,5 +1,5 @@
 /* Parse command line arguments for bison.
 /* Parse command line arguments for bison.

-   Copyright (C) 1984, 1986, 1989, 1992, 2000 Free Software Foundation, Inc.
+   Copyright 1984, 1986, 1989, 1992, 2000, 2001 Free Software Foundation, Inc.

 
    This file is part of Bison, the GNU Compiler Compiler.
 
 
    This file is part of Bison, the GNU Compiler Compiler.
 


@@ -22,18 +22,22 @@
 # define GETARGS_H_
 
 /* flags set by % directives */
 # define GETARGS_H_
 
 /* flags set by % directives */

-extern char *spec_file_prefix; /* for -b */
-extern char *spec_name_prefix;         /* for -p */
-
-extern int debugflag;                  /* for -t */
-extern int definesflag;        /* for -d */
-extern int nolinesflag;        /* for -l */
-extern int noparserflag;       /* for -n */
-extern int rawtoknumflag;      /* for -r */
-extern int statisticsflag;
-extern int toknumflag;         /* for -k */
-extern int verboseflag;                /* for -v */
-extern int yaccflag;           /* for -y */
+extern char *spec_file_prefix;         /* for -b */
+extern char *spec_name_prefix;         /* for -p */
+extern const char *skeleton;           /* for -S */
+extern const char *include;            /* for -I */
+
+extern int debug_flag;                 /* for -t */
+extern int defines_flag;       /* for -d */
+extern int locations_flag;
+extern int no_lines_flag;      /* for -l */
+extern int no_parser_flag;     /* for -n */
+extern int token_table_flag;           /* for -k */
+extern int verbose_flag;       /* for -v */
+extern int error_verbose_flag; /* for -e */
+extern int graph_flag;         /* for -g */
+extern int yacc_flag;                  /* for -y */
+extern int trace_flag;

 
 void getargs PARAMS ((int argc, char *argv[]));
 
 
 void getargs PARAMS ((int argc, char *argv[]));