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/prioritize-build-list | |
| parent | 6a3b49ae66eea02569e80c1c0fa2043c159038e4 (diff) | |
| download | builder-d5e3e6b994deaf64eb8e4ffb9c5b3260aa9b5e93.tar.xz | |
do not delete lock files
Diffstat (limited to 'bin/prioritize-build-list')
| -rwxr-xr-x | bin/prioritize-build-list | 4 |
1 files changed, 0 insertions, 4 deletions
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}" |