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