fix for /dev not unmounted when cleaning and host /dev is removed. BZ#250985

1 files changed, 2 insertions, 0 deletions

diff --git a/mock.py b/mock.py
index 54b8f8c..5e5bc17 100644
--- a/mock.py
+++ b/mock.py
@@ -193,6 +193,8 @@ class Root:
             self._umount('proc')
         if os.path.exists('%s/%s' % (self.rootdir, 'dev/pts')):
             self._umount('dev/pts')
+        if os.path.exists('%s/%s' % (self.rootdir, 'dev')):
+            self._umount('dev')
             
         if os.path.exists(self.basedir):
             cmd = '%s -rf %s' % (self.config['rm'], self.basedir)