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/prioritize-build-list | |
| parent | d22efbc22053a482c6d1b9f264b12d54f509508c (diff) | |
| download | builder-b3023cfe9c2d4e8319885e22a575bd1a522b3f6c.tar.xz | |
decommission build-list file
Diffstat (limited to 'bin/prioritize-build-list')
| -rwxr-xr-x | bin/prioritize-build-list | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/bin/prioritize-build-list b/bin/prioritize-build-list index 1ff3d5a..db828ae 100755 --- a/bin/prioritize-build-list +++ b/bin/prioritize-build-list @@ -23,12 +23,6 @@ if ! flock -s -n 8; then exit 1 fi -{ - sed -n "/^$1/p" "${work_dir}/build-list" - sed "/^$1/d" "${work_dir}/build-list" -} | \ - sponge "${work_dir}/build-list" - # shellcheck disable=SC2016 { printf 'UPDATE `build_assignments`' |