diff options
| -rw-r--r-- | lib/chroot.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/chroot.sh b/lib/chroot.sh index de3b2f5..a4033fb 100644 --- a/lib/chroot.sh +++ b/lib/chroot.sh @@ -36,6 +36,7 @@ chroot_mount() plat="$(cat "${root}/etc/proteanos_plat")" while read fs dir fstype options; do + [ "x${dir}" = 'x' ] && continue mount -t "${fstype}" -o "${options}" "${fs}" "${root}/${dir}" done <<-EOF $(profile_get_fstab "${arch}" "${plat}") @@ -56,6 +57,7 @@ chroot_umount() plat="$(cat "${root}/etc/proteanos_plat")" while read fs dir fstype options; do + [ "x${dir}" = 'x' ] && continue # umount sometimes complains that the /dev file system is busy. # Here's a kludge to try to handle that. We better make sure # bind mounts get unmounted; otherwise, `rm -Rf ${root}` can be |