diff options
Diffstat (limited to 'scripts/build/chroot_devpts')
| -rwxr-xr-x | scripts/build/chroot_devpts | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/scripts/build/chroot_devpts b/scripts/build/chroot_devpts index 89c4daa33..ade3fbe7e 100755 --- a/scripts/build/chroot_devpts +++ b/scripts/build/chroot_devpts @@ -24,14 +24,12 @@ Init_config_data "${@}" # Requiring stage file Require_stagefile config bootstrap -STAGE_FILE="chroot_devpts" - case "${1}" in install) Echo_message "Begin mounting /dev/pts..." # Checking stage file - Check_stagefile "${STAGE_FILE}" + Check_stagefile # Acquire lock file Acquire_lockfile @@ -43,7 +41,7 @@ case "${1}" in mount -t devpts -o gid=5,mode=620,x-gvfs-hide devpts-live chroot/dev/pts || true # Creating stage file - Create_stagefile "${STAGE_FILE}" + Create_stagefile ;; remove) @@ -61,7 +59,7 @@ case "${1}" in fi # Removing stage file - Remove_stagefile "${STAGE_FILE}" + Remove_stagefile ;; *) |