diff options
Diffstat (limited to 'init.d/devfs.in')
| -rw-r--r-- | init.d/devfs.in | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/init.d/devfs.in b/init.d/devfs.in index ca242318..bcdbdcd4 100644 --- a/init.d/devfs.in +++ b/init.d/devfs.in @@ -16,8 +16,8 @@ mount_dev() local action=--mount devfstype msg=Mounting # Some devices require exec, Bug #92921 local mountopts="exec,nosuid,mode=0755" - if yesno ${static_dev:-no}; then - einfo "Using static /dev" + if yesno ${skip_mount_dev:-no} ; then + einfo "/dev will not be mounted due to user request" return 0 fi if mountinfo -q /dev; then @@ -43,11 +43,13 @@ mount_dev() mount -n -t $devfstype -o $mountopts dev /dev eend $? else - ewarn "This kernel does not have devtmpfs or tmpfs support." - ewarn "Assuming you want static /dev. If this is not the case," - ewarn "please set the CONFIG_DEVTMPFS or CONFIG_TMPFS option" - ewarn "in your kernel." + ewarn "This kernel does not have devtmpfs or tmpfs support, and there" + ewarn "is no entry for /dev in fstab." + ewarn "This means /dev will not be mounted." + ewarn "To avoid this message, set CONFIG_DEVTMPFS or CONFIG_TMPFS to y" + ewarn "in your kernel configuration or see @SYSCONFDIR@/conf.d/devfs" fi + return 0 } seed_dev() |