From b3023cfe9c2d4e8319885e22a575bd1a522b3f6c Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 22 Mar 2018 15:42:11 +0100
Subject: decommission build-list file

---
 bin/prioritize-build-list | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'bin/prioritize-build-list')

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`'
-- 
cgit v1.2.3-54-g00ecf