diff options
author | peter <peter@FreeBSD.org> | 1999-06-03 20:37:19 +0000 |
---|---|---|
committer | peter <peter@FreeBSD.org> | 1999-06-03 20:37:19 +0000 |
commit | 94fe46b22a63c4c8fa3bda98dc52f44ab4ca237b (patch) | |
tree | 27bbe82d43fa14864629d363a1d4dc0615a1a9a5 /usr.sbin/config/mkheaders.c | |
parent | aeb465544c2ff80801ecbfbde0e71b588a8d8897 (diff) | |
download | FreeBSD-src-94fe46b22a63c4c8fa3bda98dc52f44ab4ca237b.zip FreeBSD-src-94fe46b22a63c4c8fa3bda98dc52f44ab4ca237b.tar.gz |
Check and warn about unknown devices in the config file along the same
lines as the pseudo-device checking. Previously 'device xyz0' would have
been silently accepted without comment.
Diffstat (limited to 'usr.sbin/config/mkheaders.c')
-rw-r--r-- | usr.sbin/config/mkheaders.c | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/usr.sbin/config/mkheaders.c b/usr.sbin/config/mkheaders.c index 2ddc809..3a39fe1 100644 --- a/usr.sbin/config/mkheaders.c +++ b/usr.sbin/config/mkheaders.c @@ -36,7 +36,7 @@ static char sccsid[] = "@(#)mkheaders.c 8.1 (Berkeley) 6/6/93"; #endif static const char rcsid[] = - "$Id: mkheaders.c,v 1.8 1997/11/07 00:09:40 joerg Exp $"; + "$Id: mkheaders.c,v 1.9 1999/04/17 14:41:40 peter Exp $"; #endif /* not lint */ /* @@ -66,7 +66,7 @@ headers() for (fl = ftab; fl != 0; fl = fl->f_next) if (fl->f_needs != 0) do_count(fl->f_needs, fl->f_needs, 1); - for (dp = dtab; dp != 0; dp = dp->d_next) + for (dp = dtab; dp != 0; dp = dp->d_next) { if ((dp->d_type & TYPEMASK) == PSEUDO_DEVICE) { if (!(dp->d_type & DEVDONE)) printf("Warning: pseudo-device \"%s\" is unknown\n", @@ -74,6 +74,14 @@ headers() else dp->d_type &= TYPEMASK; } + if ((dp->d_type & TYPEMASK) == DEVICE) { + if (!(dp->d_type & DEVDONE)) + printf("Warning: device \"%s\" is unknown\n", + dp->d_name); + else + dp->d_type &= TYPEMASK; + } + } } /* @@ -101,6 +109,8 @@ do_count(dev, hname, search) dp->d_type |= DEVDONE; break; } + if ((dp->d_type & TYPEMASK) == DEVICE) + dp->d_type |= DEVDONE; count++; /* * Allow holes in unit numbering, |