diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-20 14:35:12 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-20 14:35:12 +0100 |
| commit | b7f0199b15fb07d2532b12c627bf400783e7a115 (patch) | |
| tree | 5d5ba66f0050277acff1a0add3b1c445bff2a61f /bin/get-assignment | |
| parent | 6b86012dc547b674b8a5c347850e6ec3698433ee (diff) | |
| download | builder-b7f0199b15fb07d2532b12c627bf400783e7a115.tar.xz | |
work/build-list.loops decomissioned
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 2df3059..3357fc6 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -103,12 +103,6 @@ hand_out_assignment() { } | \ mysql_run_query - # lock every loop this package breaks - find "${work_dir}/build-list.loops" -maxdepth 1 -regextype grep \ - -regex '.*/loop_[0-9]\+' \ - -exec grep -qxF "$1" '{}' \; \ - -exec touch '{}.locked' \; - exit 0 } |