summaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
Diffstat (limited to 'lib')
-rw-r--r--lib/chroot.sh2
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