Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/get-assignment
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-03-22 15:42:11 +0100
committerErich Eckner <git@eckner.net>2018-03-22 15:42:11 +0100
commitb3023cfe9c2d4e8319885e22a575bd1a522b3f6c (patch)
treef96b1af874fc8c359c7f82a8370776d62d1f065d /bin/get-assignment
parentd22efbc22053a482c6d1b9f264b12d54f509508c (diff)
decommission build-list file
Diffstat (limited to 'bin/get-assignment')
-rwxr-xr-xbin/get-assignment9
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 '