index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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) |
-rwxr-xr-x | bin/seed-build-list | 2 |
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 |