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/options.h | |
parent | 974bb68e107b93511051fb5744d54a95667e12e0 (diff) | |
download | flex-git-1565a740dbeb8284c6ad09cf712df6e6b3c8ffe7.tar.gz |
Add command-line options --noinput and --noyyinput
Diffstat (limited to 'src/options.h')
-rw-r--r-- | src/options.h | 1 |
1 files changed, 1 insertions, 0 deletions
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, |