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