diff options
| author | ggujjula <43194746+ggujjula@users.noreply.github.com> | 2021-12-29 16:23:14 -0600 |
|---|---|---|
| committer | ggujjula <43194746+ggujjula@users.noreply.github.com> | 2021-12-29 16:23:14 -0600 |
| commit | 1565a740dbeb8284c6ad09cf712df6e6b3c8ffe7 (patch) | |
| tree | 1c972a1c94fb63392519c09d4e0f0612fe0e3467 /src/main.c | |
| parent | 974bb68e107b93511051fb5744d54a95667e12e0 (diff) | |
| download | flex-git-1565a740dbeb8284c6ad09cf712df6e6b3c8ffe7.tar.gz | |
Add command-line options --noinput and --noyyinput
Diffstat (limited to 'src/main.c')
| -rw-r--r-- | src/main.c | 3 |
1 files changed, 3 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; |