diff options
Diffstat (limited to 'src/bin/dhcp4/dhcp4_lexer.ll')
| -rw-r--r-- | src/bin/dhcp4/dhcp4_lexer.ll | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/bin/dhcp4/dhcp4_lexer.ll b/src/bin/dhcp4/dhcp4_lexer.ll index edc4f432d1..3ac2354b38 100644 --- a/src/bin/dhcp4/dhcp4_lexer.ll +++ b/src/bin/dhcp4/dhcp4_lexer.ll @@ -2075,6 +2075,15 @@ ControlCharacterFill [^"\\]|\\["\\/bfnrtu] } } +\"ignore-dhcp-server-identifier\" { + switch(driver.ctx_) { + case isc::dhcp::Parser4Context::COMPATIBILITY: + return isc::dhcp::Dhcp4Parser::make_IGNORE_DHCP_SERVER_ID(driver.loc_); + default: + return isc::dhcp::Dhcp4Parser::make_STRING("ignore-dhcp-server-identifier", driver.loc_); + } +} + \"ignore-rai-link-selection\" { switch(driver.ctx_) { case isc::dhcp::Parser4Context::COMPATIBILITY: |