diff options
Diffstat (limited to 'usr.sbin/config/mkoptions.c')
| -rw-r--r-- | usr.sbin/config/mkoptions.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usr.sbin/config/mkoptions.c b/usr.sbin/config/mkoptions.c index 9496ca457aaa..4f9e2a15a602 100644 --- a/usr.sbin/config/mkoptions.c +++ b/usr.sbin/config/mkoptions.c @@ -115,7 +115,7 @@ options(void) for (ol = otab; ol != 0; ol = ol->o_next) do_option(ol->o_name); for (op = opt; op; op = op->op_next) { - if (!op->op_ownfile) { + if (!op->op_ownfile && strncmp(op->op_name, "DEV_", 4)) { printf("%s:%d: unknown option \"%s\"\n", PREFIX, op->op_line, op->op_name); exit(1); |