[patch] udev/linuxrc patch for clean initrd unmount

udev-linuxrc.patch (text/plain), 958 bytes, created by Vladimir Dudas on 2004-07-12 15:55:42 UTC

diff -Nru udev/linuxrc udev-changed/linuxrc
--- udev/linuxrc        2004-06-12 15:45:20.000000000 -0600
+++ udev-changed/linuxrc        2004-07-12 16:48:03.201120512 -0600
@@ -366,6 +366,7 @@
 echo -ne "${GOOD}>>${NORMAL}${BOLD} Booting"

 cd /newroot
+mkdir /newroot/proc /newroot/sys
 pivot_root . tmp/.initrd
 echo -n '.'

@@ -374,6 +375,10 @@
        umount /tmp/.initrd/proc || echo '*: Failed to unmount the initrd /proc!'
        mount -n --move /tmp/.initrd/dev dev || echo '*: Failed to move over the /dev tree!'
        rm /tmp/.initrd/dev -rf || '*: Failed to remove the initrd /dev!'
+elif [ "${CDROOT}" -eq '0' -a "${USE_UDEV_NORMAL}" -eq '1' ]
+then
+       umount /tmp/.initrd/proc || echo '*: Failed to unmount the initrd /proc!'
+       umount /tmp/.initrd/sys || echo '*: Failed to unmount the initrd /sys!'
 elif [ "${CDROOT}" -eq '1' ]
 then
        # If automount at boot was on with devfs, we'll want to umount it