diff options
Diffstat (limited to 'src/config-flex.l')
| -rw-r--r-- | src/config-flex.l | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/config-flex.l b/src/config-flex.l index 9204375..3578561 100644 --- a/src/config-flex.l +++ b/src/config-flex.l @@ -132,6 +132,11 @@ ERROR { BEGIN(error); return ERROR; } <error>REPLAY { return ERR_REPLAY; } <error>SIGSEGV { return ERR_SIGSEGV; } <error>KEEP { return ERR_KEEP; } +<error>START { return ERR_START; } +<error>AFTER { return ERR_AFTER; } +<error>ENTRIES { return ERR_ENTRIES; } +<error>EXITS { return ERR_EXITS; } +<error>OF { return ERR_OF; } <error>{value} { RETURN_LONG(VALUE); } <error>{name} { RETURN_STR(NAME); } |