djgpp/config.site: Adjust config.sed for the use of autoconf 2.60.

[bison.git] / src / getargs.h

diff --git a/src/getargs.h b/src/getargs.h
index 890e3c99f05f08229452cb86d0a18b461d9b7fa1..d54a40b5b1c0d92d1b6fc03a771fbd1831f30d87 100644 (file)
--- a/src/getargs.h
+++ b/src/getargs.h
@@ -53,6 +53,11 @@ extern bool glr_parser;
 
 extern bool pure_parser;
 
+/* PUSH_PARSER is true if should generate a parser that is capable of being
+   called asynchronously.  Is must be pure and reentrant.  */
+
+extern bool push_parser;
+
 /* NONDETERMINISTIC_PARSER is true iff conflicts are accepted.  This
    is used by the GLR parser, and might be used in BackTracking
    parsers too.  */