From d5e3e6b994deaf64eb8e4ffb9c5b3260aa9b5e93 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Tue, 18 Sep 2018 10:46:51 +0200 Subject: do not delete lock files --- bin/get-assignment | 1 - 1 file changed, 1 deletion(-) (limited to 'bin/get-assignment') 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}" } -- cgit v1.2.3-70-g09d2