index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2017-06-26 21:54:22 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-06-26 21:54:22 +0200 |
commit | ef7ed3d27708b425aec80b5d67cad370a26ff1dc (patch) | |
tree | be89bec4f7f89017daf764ef509ed14065f6b379 /bin/db-update | |
parent | be65f170df33778ac308d32c6561be8484005805 (diff) |
-rwxr-xr-x | bin/db-update | 5 |
diff --git a/bin/db-update b/bin/db-update index a67a3fc..5457dcb 100755 --- a/bin/db-update +++ b/bin/db-update @@ -369,14 +369,13 @@ fi tmp_dir="$(mktemp -d)" clean_up_lock_file() { - echo sudo /usr/bin/umount "${master_mirror_sshfs}" - sudo /usr/bin/umount "${master_mirror_sshfs}" + sudo /usr/bin/umount -l "${master_mirror_sshfs}" rm -f "${package_database_lock_file}" "${build_list_lock_file}" rm -rf --one-file-system "${tmp_dir}" } if mountpoint "${master_mirror_sshfs}" > /dev/null 2>&1; then - sudo /usr/bin/umount "${master_mirror_sshfs}" + sudo /usr/bin/umount -l "${master_mirror_sshfs}" fi mount "${master_mirror_sshfs}" |