diff options
author | ggujjula <43194746+ggujjula@users.noreply.github.com> | 2021-12-29 16:47:43 -0600 |
---|---|---|
committer | ggujjula <43194746+ggujjula@users.noreply.github.com> | 2021-12-29 16:47:43 -0600 |
commit | 1677eff252854d10b29dd50d7fc520f763340f5e (patch) | |
tree | 1ddc2f904d432036bf05bb486071ffa78ddda38d /src/options.h | |
parent | c947396cda32f6f1f430fb3b128b7ecf0446498b (diff) | |
download | flex-git-1677eff252854d10b29dd50d7fc520f763340f5e.tar.gz |
Add command-line options --noyyget_debug and --noyyset_debug
Diffstat (limited to 'src/options.h')
-rw-r--r-- | src/options.h | 2 |
1 files changed, 2 insertions, 0 deletions
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, |