diff options
| author | William Hubbs <williamh@gentoo.org> | 2012-05-13 19:00:39 -0500 |
|---|---|---|
| committer | William Hubbs <williamh@gentoo.org> | 2012-05-13 19:00:39 -0500 |
| commit | ee1a698451a01772d50a75e95c887520260f8619 (patch) | |
| tree | 61a099aecb9bf52807bf44e22a913363626d9c78 /man/rc_deptree.3 | |
| parent | 2486eb4989918ff5ef645f2a17fedbec559b9485 (diff) | |
do not umount /usr on linux systems
We can't really umount /usr on linux systems because /usr is a special
case if it is a separate filesystem which is handled by an initramfs.
reported-by: tamiko+GENTOO@kyomu.43-1.org
X-Gentoo-Bug: 415523
X-Gentoo-Bug-URL: https://bugs.gentoo.org/show_bug.cgi?id=415523
Diffstat (limited to 'man/rc_deptree.3')
0 files changed, 0 insertions, 0 deletions