aboutsummaryrefslogtreecommitdiff
path: root/release/tools/vmimage.subr
diff options
context:
space:
mode:
authorColin Percival <cperciva@FreeBSD.org>2015-03-30 09:08:24 +0000
committerColin Percival <cperciva@FreeBSD.org>2015-03-30 09:08:24 +0000
commitdcdebabdead399b7e37d9ff8e5efb18a3de4283c (patch)
tree72d9fffe3f851860aa0e749a41b29aec7dea0a07 /release/tools/vmimage.subr
parent9073a96a85809a801ad23a06c2308e3e2d17990d (diff)
downloadsrc-dcdebabdead399b7e37d9ff8e5efb18a3de4283c.tar.gz
src-dcdebabdead399b7e37d9ff8e5efb18a3de4283c.zip
Improve check for whether ${DESTDIR}/dev is mounted.
Submitted by: gcooper
Notes
Notes: svn path=/head/; revision=280846
Diffstat (limited to 'release/tools/vmimage.subr')
-rw-r--r--release/tools/vmimage.subr2
1 files changed, 1 insertions, 1 deletions
diff --git a/release/tools/vmimage.subr b/release/tools/vmimage.subr
index 84e718412d31..8eafceeb75f3 100644
--- a/release/tools/vmimage.subr
+++ b/release/tools/vmimage.subr
@@ -45,7 +45,7 @@ err() {
}
cleanup() {
- if mount | grep -qE "devfs on ${DESTDIR}/dev"; then
+ if [ -c "${DESTDIR}/dev/null" ]; then
umount_loop ${DESTDIR}/dev 2>/dev/null
fi
umount_loop ${DESTDIR}