diff options
Diffstat (limited to 'scripts/build/chroot_devpts')
| -rwxr-xr-x | scripts/build/chroot_devpts | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/scripts/build/chroot_devpts b/scripts/build/chroot_devpts index 3d62d9270..320859746 100755 --- a/scripts/build/chroot_devpts +++ b/scripts/build/chroot_devpts @@ -31,11 +31,8 @@ case "${1}" in # Checking stage file Check_stagefile .build/chroot_devpts - # Checking lock file - Check_lockfile .lock - - # Creating lock file - Create_lockfile .lock + # Aquire lock file + Acquire_lockfile # Creating mountpoint mkdir -p chroot/dev/pts @@ -50,11 +47,8 @@ case "${1}" in remove) Echo_message "Begin unmounting /dev/pts..." - # Checking lock file - Check_lockfile .lock - - # Creating lock file - Create_lockfile .lock + # Aquire lock file + Acquire_lockfile # Unmounting /dev/pts if grep -qs "$(pwd)/chroot/dev/pts" /proc/mounts || Find_files chroot/dev/pts/* |