Get rid of the ad hoc handling of token_buffer in the scanner: use

[bison.git] / src / getargs.h

diff --git a/src/getargs.h b/src/getargs.h
index 3b9e29977553b55dcb805a5e2a623a08e3ce62ff..d674b78af4fab0a0f794306f836708d88bf4703d 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 Free Software Foundation, Inc.

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


@@ -18,17 +18,24 @@
    Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
    02111-1307, USA.  */
 
    Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
    02111-1307, USA.  */
 

+#ifndef GETARGS_H_
+# define GETARGS_H_
+

 /* flags set by % directives */
 extern char *spec_file_prefix; /* for -b */
 extern char *spec_name_prefix;         /* for -p */
 
 /* 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 fixed_outfiles;     /* for -y */
-extern int nolinesflag;        /* for -l */
-extern int noparserflag;       /* for -n */
-extern int rawtoknumflag;      /* for -r */
-extern int toknumflag;         /* for -k */
-extern int verboseflag;                /* for -v */
+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 raw_flag;           /* for -r */
+extern int statistics_flag;
+extern int token_table_flag;           /* for -k */
+extern int verbose_flag;       /* for -v */
+extern int yacc_flag;                  /* for -y */

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

+
+#endif /* !GETARGS_H_ */