summaryrefslogtreecommitdiff
path: root/src/getargs.h
diff options
context:
space:
mode:
authorTheophile Ranquet <ranquet@lrde.epita.fr>2012-11-30 14:33:05 +0100
committerTheophile Ranquet <ranquet@lrde.epita.fr>2012-12-05 12:10:51 +0100
commit0db2648930e3b6c376a539aabe368aade83ee29a (patch)
tree8f58273fad0de253d84856cd9fd6797fd2536afa /src/getargs.h
parenteffd30c08d3f9d936a67c6b7a9a4253915711c74 (diff)
downloadbison-0db2648930e3b6c376a539aabe368aade83ee29a.tar.gz
getargs: add support for --flags/-f
Introduce -fdiagnostics-show-caret * src/getargs.c (flag_flag): New global. * src/getargs.h (flag): New enum.
Diffstat (limited to 'src/getargs.h')
-rw-r--r--src/getargs.h12
1 files changed, 12 insertions, 0 deletions
diff --git a/src/getargs.h b/src/getargs.h
index ef97822a..b2126fc2 100644
--- a/src/getargs.h
+++ b/src/getargs.h
@@ -130,6 +130,18 @@ enum warnings
/** What warnings are issued. */
extern int warnings_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.
*