projects / genkernel.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65249bb) | patch
Verify in /proc/mounts that devtmpfs is unmounted before mounting it
authorRichard Yao <ryao@cs.stonybrook.edu>
Tue, 17 Jul 2012 20:13:57 +0000 (16:13 -0400)
committerRichard Yao <ryao@cs.stonybrook.edu>
Tue, 17 Jul 2012 20:13:57 +0000 (16:13 -0400)
commite2189311fc8c036327c1c8263807b274d5ff039b
treef6ca03231db59f7ac7d486f8fd34b9344c134c91tree | snapshot
parent65249bbcea5fc30fad575e0534f563d5937eab6bcommit | diff
Verify in /proc/mounts that devtmpfs is unmounted before mounting it

For consistency, we do the same with devpts. WilliamH reported this to
me in IRC.
defaults/initrd.scripts diff | blob | history
Gentoo's kernel and initrd generator