runmdev() {
# Use devtmpfs if enabled in kernel,
- # else busybox udev replacement
+ # else tmpfs. Always run mdev just in case
+ devfs=tmpfs
if grep -qs devtmpfs /proc/filesystems ; then
- # Options copied from /etc/init.d/udev-mount, should probably be kept in sync
- mount -t devtmpfs -o "exec,nosuid,mode=0755,size=10M" udev /dev
- else
- mdev -s
+ devfs=devtmpfs
fi
+
+ # Options copied from /etc/init.d/udev-mount, should probably be kept in sync
+ mount -t $devfs -o "exec,nosuid,mode=0755,size=10M" udev /dev
+ mdev -s
}
test_success() {
# If devtmpfs is mounted, try move it to the new root
# If that fails, try to unmount all possible mounts of devtmpfs as stuff breaks otherwise
-if grep -qs devtmpfs /proc/mounts
+if grep -qs "/dev " /proc/mounts
then
if ! mount --move /dev "${CHROOT}"/dev
then
- umount -t devtmpfs || echo '*: Failed to move and unmount the devtmpfs /dev!'
+ umount /dev || echo '*: Failed to move and unmount the ramdisk /dev!'
fi
fi