diff options
| author | Joerg Wunsch <joerg@FreeBSD.org> | 2000-02-15 19:23:34 +0000 |
|---|---|---|
| committer | Joerg Wunsch <joerg@FreeBSD.org> | 2000-02-15 19:23:34 +0000 |
| commit | 2c6610f343df65a0dc1f4b2c2f088c1a636792c8 (patch) | |
| tree | 6971a4b65a9763b5bc738a39b4f8548648bac252 /sys/kern | |
| parent | ac0bed8e358adb513bed33dc1de37f714e0cc220 (diff) | |
Notes
Diffstat (limited to 'sys/kern')
| -rw-r--r-- | sys/kern/subr_bus.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/kern/subr_bus.c b/sys/kern/subr_bus.c index d622ed96c3cc..89fa1436f42e 100644 --- a/sys/kern/subr_bus.c +++ b/sys/kern/subr_bus.c @@ -1147,8 +1147,10 @@ device_probe_and_attach(device_t dev) BUS_PROBE_NOMATCH(bus, dev); } } else { + if (bootverbose) { device_print_prettyname(dev); printf("not probed (disabled)\n"); + } } return error; |