Improve check for whether ${DESTDIR}/dev is mounted.

Submitted by:	gcooper
This commit is contained in:
cperciva 2015-03-30 09:08:24 +00:00
parent 13d930d0d5
commit 421e560425

View File

@ -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}