diff options
author | Erich Eckner <git@eckner.net> | 2017-06-16 11:04:31 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-06-16 11:04:31 +0200 |
commit | 4751da8c5a78403d9506021cb10e091abf62cc09 (patch) | |
tree | 6a184abe59e4bf9f4995fbf860950e06fcdbbba5 | |
parent | af1fcabbf03909c4ccdd9cd57374a486a6be9ad5 (diff) | |
download | builder-4751da8c5a78403d9506021cb10e091abf62cc09.tar.xz |
bin/db-update: remove tmp_dir a little later
-rwxr-xr-x | bin/db-update | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/db-update b/bin/db-update index f8205dc..ce2e056 100755 --- a/bin/db-update +++ b/bin/db-update @@ -183,13 +183,13 @@ done done_packages="$(cat "${tmp_dir}/done_packages")" -rm -rf --one-file-system "${tmp_dir}" - # unlock build list rm -f "${build_list_lock_file}" flock -u 9 +rm -rf --one-file-system "${tmp_dir}" + clean_up_lock_file() { rm -f "${package_database_lock_file}" } |