diff options
Diffstat (limited to 'usr.sbin/config/mkheaders.c')
| -rw-r--r-- | usr.sbin/config/mkheaders.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usr.sbin/config/mkheaders.c b/usr.sbin/config/mkheaders.c index 7210491..9b44da4 100644 --- a/usr.sbin/config/mkheaders.c +++ b/usr.sbin/config/mkheaders.c @@ -77,7 +77,7 @@ headers(void) for (dp = dtab; dp != 0; dp = dp->d_next) { if ((dp->d_type & TYPEMASK) == DEVICE) { if (!(dp->d_type & DEVDONE)) - printf("Warning: device \"%s\" is unknown\n", + errx(1, "Error: device \"%s\" is unknown", dp->d_name); } } |
