From d5e3e6b994deaf64eb8e4ffb9c5b3260aa9b5e93 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Tue, 18 Sep 2018 10:46:51 +0200
Subject: do not delete lock files

---
 bin/seed-build-list | 2 --
 1 file changed, 2 deletions(-)

(limited to 'bin/seed-build-list')

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
-- 
cgit v1.2.3-70-g09d2