Merge remote-tracking branch 'origin/maint'

[bison.git] / src / getargs.h

diff --git a/src/getargs.h b/src/getargs.h
index 4eb3981220476ba8e219421f628e024a0aab0f38..3c081fe321b826d77fa029b38af8f01cdb8ed43a 100644 (file)
--- a/src/getargs.h
+++ b/src/getargs.h
@@ -108,6 +108,18 @@ enum trace
 /** What debug items bison displays during its run.  */
 extern int trace_flag;
 
 /** What debug items bison displays during its run.  */
 extern int trace_flag;
 

+/*-------------.
+| --features.  |
+`-------------*/
+
+enum feature
+  {
+    feature_none  = 0,         /**< No additional feature.  */
+    feature_caret = 1 << 0,    /**< Enhance the output of errors with carets.  */
+    feature_all   = ~0         /**< All above features.  */
+  };
+/** What additional features to use.  */
+extern int feature_flag;

 
 /** Process the command line arguments.
  *
 
 /** Process the command line arguments.
  *