diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-08-21 11:37:48 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-08-21 11:37:48 (EDT) |
| commit | afae3d71f8fb3f7261aefce95d8b19a6e86bba3d (patch) | |
| tree | eadf2a9320118ba08d835d6a0c2503ca8cc134e4 | |
| parent | 8634aa8bb70cc86fc3e5b5e07ff72acd0decc2d0 (diff) | |
chroot: Skip empty fstab lines
| -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 |