diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-22 15:42:11 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-22 15:42:11 +0100 |
| commit | b3023cfe9c2d4e8319885e22a575bd1a522b3f6c (patch) | |
| tree | f96b1af874fc8c359c7f82a8370776d62d1f065d /bin/get-assignment | |
| parent | d22efbc22053a482c6d1b9f264b12d54f509508c (diff) | |
| download | builder-b3023cfe9c2d4e8319885e22a575bd1a522b3f6c.tar.xz | |
decommission build-list file
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index a82e1f8..7ac749f 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -20,15 +20,6 @@ hand_out_assignment() { - # move that build order to the end of the build-list - sed -i ' - /^'"$(str_to_regex "$1 $2 $3 $4")"'$/ { - $ b - d - } - $ a '"$1 $2 $3 $4" \ - "${work_dir}/build-list" - # shellcheck disable=SC2016 { printf 'SELECT ' |