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 | |
| parent | 974bb68e107b93511051fb5744d54a95667e12e0 (diff) | |
| download | flex-git-1565a740dbeb8284c6ad09cf712df6e6b3c8ffe7.tar.gz | |
Add command-line options --noinput and --noyyinput
| -rw-r--r-- | src/main.c | 3 | ||||
| -rw-r--r-- | src/options.c | 4 | ||||
| -rw-r--r-- | src/options.h | 1 |
3 files changed, 8 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; diff --git a/src/options.c b/src/options.c index 56c7f42..d5c2c1d 100644 --- a/src/options.c +++ b/src/options.c @@ -235,6 +235,10 @@ optspec_t flexopts[] = { {"--yywrap", OPT_YYWRAP, 0} , + {"--noinput", OPT_NO_YYINPUT, 0} + , + {"--noyyinput", OPT_NO_YYINPUT, 0} + , {"--nounput", OPT_NO_YYUNPUT, 0} , {"--noyyunput", OPT_NO_YYUNPUT, 0} diff --git a/src/options.h b/src/options.h index 0b905d5..4ec6936 100644 --- a/src/options.h +++ b/src/options.h @@ -79,6 +79,7 @@ enum flexopt_flag_t { OPT_NO_REENTRANT, OPT_NO_REJECT, OPT_NO_STDINIT, + OPT_NO_YYINPUT, OPT_NO_YYUNPUT, OPT_NO_WARN, OPT_NO_YYGET_EXTRA, |