diff options
Diffstat (limited to 'src/config-bison.y')
| -rw-r--r-- | src/config-bison.y | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/config-bison.y b/src/config-bison.y index a544fa7..4f9dae5 100644 --- a/src/config-bison.y +++ b/src/config-bison.y @@ -56,7 +56,7 @@ do { \ %token OPT_TIMESTAMP OPT_FRAMESIZE OPT_FRAMESIZE_CHECK %token OPT_HIDE_TID OPT_FOLLOW_FORK OPT_FOLLOW_EXEC %token OPT_DEMANGLE OPT_BRACES OPT_ENABLE_ARGS -%token OPT_DETAIL_ARGS +%token OPT_DETAIL_ARGS OPT_OUTPUT_TTY %union { @@ -167,6 +167,11 @@ OPTIONS_DEF OPT_DETAIL_ARGS '=' BOOL OPTION_ADD(LT_OPT_DETAIL_ARGS, $4, -1); } | +OPTIONS_DEF OPT_OUTPUT_TTY '=' '"' FILENAME '"' +{ + OPTION_ADD(LT_OPT_OUTPUT_TTY, $5, -1); +} +| /* left blank intentionally */ %% |