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/options.h | |
| 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/options.h')
| -rw-r--r-- | src/options.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/options.h b/src/options.h index 0b905d5..a2d3786 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, @@ -89,6 +90,7 @@ enum flexopt_flag_t { OPT_NO_YYGET_LLOC, OPT_NO_YYGET_LVAL, OPT_NO_YYGET_OUT, + OPT_NO_YYGET_DEBUG, OPT_NO_YYGET_TEXT, OPT_NO_YYLINENO, OPT_NO_YYMORE, @@ -99,6 +101,7 @@ enum flexopt_flag_t { OPT_NO_YYSET_LLOC, OPT_NO_YYSET_LVAL, OPT_NO_YYSET_OUT, + OPT_NO_YYSET_DEBUG, OPT_NO_YYWRAP, OPT_NO_YY_POP_STATE, OPT_NO_YY_PUSH_STATE, |