1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/contrib/chimera/cleanDebianChroot.sh b/scripts/contrib/chimera/cleanDebianChroot.sh
new file mode 100755
index 00000000000..1391eea1b43
--- /dev/null
+++ b/scripts/contrib/chimera/cleanDebianChroot.sh
@@ -0,0 +1,16 @@
+#!/bin/bash
+
+CHROOT=debian-8
+
+function umountIt {
+    mDir=$1
+    if mount|grep ${CHROOT} |grep  -q ${mDir} ;then
+        echo " unmounting ${CHROOT}/${mDir} "
+        umount /${CHROOT}/${mDir}
+    fi
+}
+
+umountIt proc
+umountIt dev
+umountIt sys
+umountIt tmp