summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorggujjula <43194746+ggujjula@users.noreply.github.com>2021-12-29 16:47:43 -0600
committerggujjula <43194746+ggujjula@users.noreply.github.com>2021-12-29 16:47:43 -0600
commit1677eff252854d10b29dd50d7fc520f763340f5e (patch)
tree1ddc2f904d432036bf05bb486071ffa78ddda38d
parentc947396cda32f6f1f430fb3b128b7ecf0446498b (diff)
downloadflex-git-1677eff252854d10b29dd50d7fc520f763340f5e.tar.gz
Add command-line options --noyyget_debug and --noyyset_debug
-rw-r--r--src/main.c6
-rw-r--r--src/options.c4
-rw-r--r--src/options.h2
3 files changed, 12 insertions, 0 deletions
diff --git a/src/main.c b/src/main.c
index 6f085b0..c4e6849 100644
--- a/src/main.c
+++ b/src/main.c
@@ -1140,6 +1140,12 @@ void flexinit (int argc, char **argv)
case OPT_NO_YYSET_LLOC:
ctrl.no_yyset_lloc = true;
break;
+ case OPT_NO_YYGET_DEBUG:
+ ctrl.no_get_debug = true;
+ break;
+ case OPT_NO_YYSET_DEBUG:
+ ctrl.no_set_debug = true;
+ break;
case OPT_HEX:
env.trace_hex = true;
diff --git a/src/options.c b/src/options.c
index d5c2c1d..8b7fd8a 100644
--- a/src/options.c
+++ b/src/options.c
@@ -287,6 +287,10 @@ optspec_t flexopts[] = {
,
{"--noyyset_lloc", OPT_NO_YYSET_LLOC, 0}
,
+ {"--noyyget_debug", OPT_NO_YYGET_DEBUG, 0}
+ ,
+ {"--noyyset_debug", OPT_NO_YYSET_DEBUG, 0}
+ ,
{"--unsafe-no-m4-sect3-escape", OPT_NO_SECT3_ESCAPE, 0}
,
{0, 0, 0} /* required final NULL entry. */
diff --git a/src/options.h b/src/options.h
index 4ec6936..a2d3786 100644
--- a/src/options.h
+++ b/src/options.h
@@ -90,6 +90,7 @@ enum flexopt_flag_t {
OPT_NO_YYGET_LLOC,
OPT_NO_YYGET_LVAL,
OPT_NO_YYGET_OUT,
+ OPT_NO_YYGET_DEBUG,
OPT_NO_YYGET_TEXT,
OPT_NO_YYLINENO,
OPT_NO_YYMORE,
@@ -100,6 +101,7 @@ enum flexopt_flag_t {
OPT_NO_YYSET_LLOC,
OPT_NO_YYSET_LVAL,
OPT_NO_YYSET_OUT,
+ OPT_NO_YYSET_DEBUG,
OPT_NO_YYWRAP,
OPT_NO_YY_POP_STATE,
OPT_NO_YY_PUSH_STATE,