diff options
-rw-r--r-- | src/config.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/config.c b/src/config.c index 12792afd..49f221e6 100644 --- a/src/config.c +++ b/src/config.c @@ -383,7 +383,8 @@ static int ssh_config_parse_line(ssh_session session, const char *line, } opcode = ssh_config_get_opcode(keyword); - if (*parsing == 1 && opcode != SOC_HOST && opcode != SOC_UNSUPPORTED && opcode != SOC_INCLUDE) { + if (*parsing == 1 && opcode != SOC_HOST && opcode != SOC_INCLUDE && + opcode > SOC_UNSUPPORTED) { /* Ignore all unknown types here */ if (seen[opcode] != 0) { SAFE_FREE(x); return 0; |