From 274e721f82101d169ee3bfd5105046b82a389797 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 28 Jun 2018 12:09:45 +0200
Subject: bin/interpret-mail: "delete-from-build-support" new

---
 bin/interpret-mail | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'bin')

diff --git a/bin/interpret-mail b/bin/interpret-mail
index 6045412..7790951 100755
--- a/bin/interpret-mail
+++ b/bin/interpret-mail
@@ -28,6 +28,9 @@ if [ $# -ne 0 ]; then
   >&2 echo '  - "delete:":'
   >&2 echo '    Delete all scheduled, safely deletable packages.'
   >&2 echo ''
+  >&2 echo '  - "delete-from-build-support: <arch> <package-file>":'
+  >&2 echo '    Delete the given package from <arch>/build-support.'
+  >&2 echo ''
   >&2 echo '  - "prioritize: <pkgbase-regex>":'
   >&2 echo '    Increase the priority of matching build assignments.'
   >&2 echo ''
@@ -284,6 +287,14 @@ if [ -s "${tmp_dir}/delete" ]; then
   fi
 fi
 
+if [ -s "${tmp_dir}/delete-from-build-support" ]; then
+  if run_and_log_on_error 'delete-from-build-support' "${base_dir}/bin/delete-packages" --wait --build-support "${tmp_dir}/delete-from-build-support"; then
+    log 1 'delete-from-build-support' "$(wc -l < "${tmp_dir}/delete-from-build-support")"
+  else
+    log 0 'delete-from-build-support' 0
+  fi
+fi
+
 if [ -s "${tmp_dir}/prioritize" ]; then
   if run_and_log_on_error 'prioritize' "${base_dir}/bin/prioritize-build-list" --wait "${tmp_dir}/prioritize"; then
     log 1 'prioritize' "$(cat "${tmp_dir}/prioritize")"
-- 
cgit v1.2.3-70-g09d2