From 421e5604253a0789e5ee6ed39636218dcc04f55a Mon Sep 17 00:00:00 2001
From: cperciva <cperciva@FreeBSD.org>
Date: Mon, 30 Mar 2015 09:08:24 +0000
Subject: [PATCH] Improve check for whether ${DESTDIR}/dev is mounted.

Submitted by:	gcooper
---
 release/tools/vmimage.subr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}