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/prioritize-build-list | 4 ----
 1 file changed, 4 deletions(-)

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

diff --git a/bin/prioritize-build-list b/bin/prioritize-build-list
index f68a559..bcdb67f 100755
--- a/bin/prioritize-build-list
+++ b/bin/prioritize-build-list
@@ -98,7 +98,3 @@ verbose_flock ${wait_for_lock} 8
   else
     cat >&2
   fi
-
-# Remove the lock file
-
-rm -f "${build_list_lock_file}"
-- 
cgit v1.2.3