diff options
| -rwxr-xr-x | helpers/lh_clean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/helpers/lh_clean b/helpers/lh_clean index dc4ba0450..660c1fca4 100755 --- a/helpers/lh_clean +++ b/helpers/lh_clean @@ -66,6 +66,7 @@ do ${LH_ROOT_COMMAND} umount -f chroot/lib/init/rw > /dev/null 2>&1 || true ${LH_ROOT_COMMAND} umount -f chroot/dev/shm > /dev/null 2>&1 || true ${LH_ROOT_COMMAND} umount -f chroot/dev/pts > /dev/null 2>&1 || true + ${LH_ROOT_COMMAND} umount -f chroot/dev.tmp/pts > /dev/null 2>&1 || true ${LH_ROOT_COMMAND} umount -f chroot/dev > /dev/null 2>&1 || true ${LH_ROOT_COMMAND} rm -rf chroot chroot.tmp |