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/get-assignment | 9 ---------
 1 file changed, 9 deletions(-)

(limited to 'bin/get-assignment')

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