diff options
Diffstat (limited to 'scripts/build/chroot_devpts')
| -rwxr-xr-x | scripts/build/chroot_devpts | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/build/chroot_devpts b/scripts/build/chroot_devpts index 7d55ca9e7..4a5a13a94 100755 --- a/scripts/build/chroot_devpts +++ b/scripts/build/chroot_devpts @@ -47,6 +47,9 @@ case "${1}" in remove) Echo_message "Begin unmounting /dev/pts..." + # Checking stage file + Ensure_stagefile_exists + # Acquire lock file Acquire_lockfile |