diff options
author | cperciva <cperciva@FreeBSD.org> | 2015-03-30 09:08:24 +0000 |
---|---|---|
committer | cperciva <cperciva@FreeBSD.org> | 2015-03-30 09:08:24 +0000 |
commit | 421e5604253a0789e5ee6ed39636218dcc04f55a (patch) | |
tree | 72d9fffe3f851860aa0e749a41b29aec7dea0a07 /release | |
parent | 13d930d0d50b687a410869784635b140028c61f8 (diff) | |
download | FreeBSD-src-421e5604253a0789e5ee6ed39636218dcc04f55a.zip FreeBSD-src-421e5604253a0789e5ee6ed39636218dcc04f55a.tar.gz |
Improve check for whether ${DESTDIR}/dev is mounted.
Submitted by: gcooper
Diffstat (limited to 'release')
-rw-r--r-- | release/tools/vmimage.subr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release/tools/vmimage.subr b/release/tools/vmimage.subr index 84e7184..8eafcee 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} |