diff options
Diffstat (limited to 'src/config-flex.l')
| -rw-r--r-- | src/config-flex.l | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/config-flex.l b/src/config-flex.l index 61a775e..c2ed192 100644 --- a/src/config-flex.l +++ b/src/config-flex.l @@ -85,6 +85,7 @@ OPTIONS { BEGIN(options); return OPTIONS; } <options>BRACES { return OPT_BRACES; } <options>ENABLE_ARGS { return OPT_ENABLE_ARGS; } <options>DETAIL_ARGS { return OPT_DETAIL_ARGS; } +<options>OUTPUT_TTY { return OPT_OUTPUT_TTY; } <options>{bool} { RETURN_STR(BOOL); } <options>{value} { RETURN_LONG(VALUE); } |