patch for defaults/initrd.scripts

initrd.scripts.patch (text/plain), 760 bytes, created by Dirk Sondermann on 2012-07-24 00:39:15 UTC

--- /usr/share/genkernel/defaults/initrd.scripts.~1~	2012-07-21 06:51:50.000000000 +0200
+++ /usr/share/genkernel/defaults/initrd.scripts	2012-07-24 01:02:28.000000000 +0200
@@ -307,13 +307,13 @@
 	fi
 
 	# Options copied from /etc/init.d/udev-mount, should probably be kept in sync
-	if grep -qs '^devtmpfs' /proc/mounts; then
+	if ! grep -qsw $devfs /proc/mounts; then
 		mount -t $devfs -o "exec,nosuid,mode=0755,size=10M" udev /dev \
 			|| bad_msg "Failed to mount /dev as ${devfs}"
 	fi
 
 	# http://git.busybox.net/busybox/plain/docs/mdev.txt
-	if grep -qs '^devpts' /proc/mounts; then
+	if ! grep -qsw devpts /proc/mounts; then
 		mkdir -m 0755 /dev/pts
 		mount -t devpts -o gid=5,mode=0620 devpts /dev/pts  || bad_msg "Failed to mount /dev/pts"
 	fi