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.c | |
parent | c947396cda32f6f1f430fb3b128b7ecf0446498b (diff) | |
download | flex-git-1677eff252854d10b29dd50d7fc520f763340f5e.tar.gz |
Add command-line options --noyyget_debug and --noyyset_debug
Diffstat (limited to 'src/options.c')
-rw-r--r-- | src/options.c | 4 |
1 files changed, 4 insertions, 0 deletions
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. */ |