diff options
| -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} |
