- mount devtmpfs not tmpfs over /dev if not already mounted

Changed files:
    start_udev -> 1.41

diff --git a/start_udev b/start_udev
index d50eb7f9130d5a80f6822a5030028426effbff0f..1b1509083bbd9058a7cf0266301d4a9ca3418563 100644 (file)
--- a/start_udev
+++ b/start_udev
@@ -68,8 +68,8 @@ ret=0
 show "Starting udev"
 busy
 
-# mount the tmpfs on ${udev_root%/}, if not already done
-LANG=C awk "\$2 == \"${udev_root%/}\" && \$3 == \"tmpfs\" { exit 1 }" /proc/mounts && {
+# mount the devtmpfs on ${udev_root%/}, if not already done
+LANG=C awk "\$2 == \"${udev_root%/}\" && \$3 == \"devtmpfs\" { exit 1 }" /proc/mounts && {
        if LANG=C fgrep -q "none ${udev_root%/}/pts " /proc/mounts; then
                PTSDIR=$(mktemp -d ${TMPDIR:-/tmp}/tmpXXXXXX)
                mount --move $udev_root/pts "$PTSDIR"
@@ -78,7 +78,7 @@ LANG=C awk "\$2 == \"${udev_root%/}\" && \$3 == \"tmpfs\" { exit 1 }" /proc/moun
                SHMDIR=$(mktemp -d ${TMPDIR:-/tmp}/tmpXXXXXX)
                mount --move $udev_root/shm "$SHMDIR"
        fi
-       mount -n -o mode=0755 -t tmpfs none "$udev_root"
+       mount -n -o mode=0755 -t devtmpfs devtmpfs "$udev_root"
        mkdir -m 0755 $udev_root/pts
        mkdir -m 0755 $udev_root/shm
        if [ -n "$PTSDIR" ]; then