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

Submitted by:	gcooper
This commit is contained in:
Colin Percival 2015-03-30 09:08:24 +00:00
parent 9073a96a85
commit dcdebabdea

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}