diff options
author | Daniel Baumann <daniel@debian.org> | 2007-09-23 10:04:50 +0200 |
---|---|---|
committer | Daniel Baumann <daniel@debian.org> | 2011-03-09 18:18:29 +0100 |
commit | 4739146fc6c4de8b16418517bb882312c475195c (patch) | |
tree | a3c29d97d1ead4ad4fa532b1c6bfdb419f160e71 /helpers/lh_chroot_proc | |
parent | 1863ed88740575342008ac5f694d03e944bcece2 (diff) | |
download | live-build-4739146fc6c4de8b16418517bb882312c475195c.zip live-build-4739146fc6c4de8b16418517bb882312c475195c.tar.gz |
Adding live-helper 1.0~a6-1.
Diffstat (limited to 'helpers/lh_chroot_proc')
-rwxr-xr-x | helpers/lh_chroot_proc | 23 |
1 files changed, 16 insertions, 7 deletions
diff --git a/helpers/lh_chroot_proc b/helpers/lh_chroot_proc index b689cc6..42a7feb 100755 --- a/helpers/lh_chroot_proc +++ b/helpers/lh_chroot_proc @@ -39,17 +39,17 @@ Breakpoint "chroot_proc: Init" # Requiring stage file Require_stagefile .stage/bootstrap -# Checking lock file -Check_lockfile .lock - -# Creating lock file -Create_lockfile .lock - case "${1}" in install) # Checking stage file Check_stagefile .stage/chroot_proc + # Checking lock file + Check_lockfile .lock + + # Creating lock file + Create_lockfile .lock + if [ ! -d chroot/proc ] then # Creating mountpoint @@ -64,8 +64,17 @@ case "${1}" in ;; remove) + # Checking lock file + Check_lockfile .lock + + # Creating lock file + Create_lockfile .lock + # Workaround binfmt-support /proc locking - umount chroot/proc/sys/fs/binfmt_misc > /dev/null 2>&1 || true + if [ -e chroot/proc/sys/fs/binftm_misc/status ] + then + umount chroot/proc/sys/fs/binfmt_misc + fi # Unmounting /proc #fuser -km chroot/proc |