diff options
| 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/get-assignment | |
| parent | 6a3b49ae66eea02569e80c1c0fa2043c159038e4 (diff) | |
| download | builder-d5e3e6b994deaf64eb8e4ffb9c5b3260aa9b5e93.tar.xz | |
do not delete lock files
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 1 |
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}" } |