do not delete lock files

1 files changed, 0 insertions, 1 deletions

diff --git a/bin/get-assignment b/bin/get-assignment
index 328bddc..f670df1 100755
--- a/bin/get-assignment
+++ b/bin/get-assignment
@@ -89,7 +89,6 @@ if ! verbose_flock -s -n 8; then
 fi
 
 clean_up() {
-  rm -f "${build_list_lock_file}"
   rm -rf --one-file-system "${tmp_dir}"
 }