diff options
| -rw-r--r-- | usr.sbin/config/mkmakefile.c | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/usr.sbin/config/mkmakefile.c b/usr.sbin/config/mkmakefile.c index 5f22e9e..b1b236c 100644 --- a/usr.sbin/config/mkmakefile.c +++ b/usr.sbin/config/mkmakefile.c @@ -461,13 +461,6 @@ nextparam: filetype = NODEPEND; goto nextparam; } - if (eq(wd, "device-driver")) { - if (!ddwarned) { - printf("%s: `device-driver' flag ignored.\n", fname); - ddwarned++; - } - goto nextparam; - } if (eq(wd, "profiling-routine")) { filetype = PROFILING; goto nextparam; |
