diff options
| 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/common-functions | |
| parent | be65f170df33778ac308d32c6561be8484005805 (diff) | |
| download | builder-ef7ed3d27708b425aec80b5d67cad370a26ff1dc.tar.xz | |
bin/db-update, bin/common-functions: umount -l instead of umount [-f]
Diffstat (limited to 'bin/common-functions')
| -rwxr-xr-x | bin/common-functions | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/common-functions b/bin/common-functions index a6069eb..255da56 100755 --- a/bin/common-functions +++ b/bin/common-functions @@ -215,13 +215,13 @@ generate_package_metadata() { --register=no \ ${base_dir}/bin/mksrcinfo - sudo umount -f "${overlays_dir}/merged" + sudo umount -l "${overlays_dir}/merged" mv \ "${overlays_dir}/upper/.SRCINFO" \ "${file_prefix}.SRCINFO" - sudo umount -f "${overlays_dir}" + sudo umount -l "${overlays_dir}" rmdir "${overlays_dir}" # otherwise this just calls for trouble |