mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-09-16 14:29:05 -07:00
If /boot is empty and not a mount point, there is no need to keep the directory around after unmerging the last package that "owns" it. If /boot is a mount point, we ensure it is mounted and Portage will be unable to remove it. If DONT_MOUNT_BOOT is set, the user is responsible for the results. Signed-off-by: Mike Gilbert <floppym@gentoo.org>
1.2 KiB
1.2 KiB