diff options
| author | Chris Lamb <chris@chris-lamb.co.uk> | 2008-09-07 14:30:30 +0100 |
|---|---|---|
| committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 19:03:41 +0100 |
| commit | cf20a5b7b7208e503a39386d26961b4bfe457db4 (patch) | |
| tree | 71e62d3a141bb7146c34041b3e525168922da29f /helpers/lh_clean | |
| parent | a2c5c9e2d061303b1894721590e71f6870f4f8c1 (diff) | |
| download | live-build-cf20a5b7b7208e503a39386d26961b4bfe457db4.zip live-build-cf20a5b7b7208e503a39386d26961b4bfe457db4.tar.gz | |
Additionally unmount chroot/binary.tmp in lh_clean --chroot.
Diffstat (limited to 'helpers/lh_clean')
| -rwxr-xr-x | helpers/lh_clean | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/helpers/lh_clean b/helpers/lh_clean index 660c1fc..a6dd3f8 100755 --- a/helpers/lh_clean +++ b/helpers/lh_clean @@ -66,9 +66,11 @@ 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} umount -f chroot/binary.tmp > /dev/null 2>&1 || true + ${LH_ROOT_COMMAND} umount -f chroot/dev.tmp/pts > /dev/null 2>&1 || true + ${LH_ROOT_COMMAND} rm -rf chroot chroot.tmp rm -f .stage/chroot* |