diff options
| -rw-r--r-- | usr.sbin/config/config.y | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/usr.sbin/config/config.y b/usr.sbin/config/config.y index 2e698c1..e2fdc95 100644 --- a/usr.sbin/config/config.y +++ b/usr.sbin/config/config.y @@ -126,10 +126,10 @@ struct device *curp = 0; #define ns(s) strdup(s) -void init_dev __P((struct device *)); -int finddev __P((dev_t)); -void deverror __P((char *, char *)); int alreadychecked __P((dev_t, dev_t[], dev_t *)); +void deverror __P((char *, char *)); +int finddev __P((dev_t)); +void init_dev __P((struct device *)); void verifycomp __P((struct file_list *)); %} @@ -662,6 +662,7 @@ void yyerror(s) char *s; { + warnx("line %d: %s", yyline + 1, s); } @@ -1115,6 +1116,7 @@ void deverror(systemname, devtype) char *systemname, *devtype; { + warnx("%s: %s device not configured", systemname, devtype); } |
