[patch] A patch for udev's init script.

udev-devtmpfs-change.patch (text/plain), 296 bytes, created by Piotr Karbowski on 2011-06-08 20:49:26 UTC

diff --git a/udev b/udev
index 699030c..0783b71 100755
--- a/udev
+++ b/udev
@@ -136,6 +136,11 @@ populate_dev()
 
 	udevadm control --property=do_not_run_plug_service=
 	udevadm control --property=STARTUP=
+
+	if mountinfo -q /dev; then
+		udevadm trigger --action=change
+	fi
+
 	return 0
 }