Turn on %{source,header}_extension features.

[bison.git] / src / getargs.h

diff --git a/src/getargs.h b/src/getargs.h
index a0180d793421fca4bcc459fea3ccf80839b2fee9..f3c3760192db0617dedb475966546dffcf801e19 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.
 


@@ -18,17 +18,25 @@
    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 const char *skeleton;

 
 

-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 statistics_flag;
+extern int token_table_flag;           /* for -k */
+extern int verbose_flag;       /* for -v */
+extern int graph_flag;         /* for -g */
+extern int yacc_flag;                  /* for -y */

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

+
+#endif /* !GETARGS_H_ */