diff options
| author | Will Estes <westes@users.noreply.github.com> | 2022-05-16 15:59:30 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-16 15:59:30 -0400 |
| commit | 74a89fd6abf178f50f180f228613345682f7fd18 (patch) | |
| tree | 4799dbce66b9580e20d9afb79462157c5123432a /src/main.c | |
| parent | 00bfa85257ea06d55d9da7dcccda0a6083d9f067 (diff) | |
| parent | 1677eff252854d10b29dd50d7fc520f763340f5e (diff) | |
| download | flex-git-74a89fd6abf178f50f180f228613345682f7fd18.tar.gz | |
Merge pull request #513 from ggujjula/issue_398
Issue 398; Documentation fix; Additional command-line options
Diffstat (limited to 'src/main.c')
| -rw-r--r-- | src/main.c | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -1077,6 +1077,9 @@ void flexinit (int argc, char **argv) case OPT_NO_YY_TOP_STATE: ctrl.no_yy_top_state = true; break; + case OPT_NO_YYINPUT: + ctrl.no_yyinput = true; + break; case OPT_NO_YYUNPUT: ctrl.no_yyunput = true; break; @@ -1137,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; |