diff options
author | Erich Eckner <git@eckner.net> | 2018-09-18 10:46:51 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-09-18 10:46:51 +0200 |
commit | d5e3e6b994deaf64eb8e4ffb9c5b3260aa9b5e93 (patch) | |
tree | 0623eb4c7bbc82674aeafe6d92d83acbe4f4a7e8 /bin/seed-build-list | |
parent | 6a3b49ae66eea02569e80c1c0fa2043c159038e4 (diff) | |
download | builder-d5e3e6b994deaf64eb8e4ffb9c5b3260aa9b5e93.tar.xz |
do not delete lock files
Diffstat (limited to 'bin/seed-build-list')
-rwxr-xr-x | bin/seed-build-list | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/bin/seed-build-list b/bin/seed-build-list index 2cced4b..02da05c 100755 --- a/bin/seed-build-list +++ b/bin/seed-build-list @@ -603,8 +603,6 @@ if ${update}; then # remove duplicate binary_packages from "build-list" mysql_query_remove_old_binary_packages_from_build_list | \ mysql_run_query - - rm -f "${build_list_lock_file}" else cat "${tmp_dir}/update-list" fi |