Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-06-28 12:09:45 +0200
committerErich Eckner <git@eckner.net>2018-06-28 12:09:45 +0200
commit274e721f82101d169ee3bfd5105046b82a389797 (patch)
treee708b3923a71ab2c5893a122068c606ea5726ae5
parent8a15e329c3d23d8748aa6fbb5d5b05ca6c0fdfe5 (diff)
bin/interpret-mail: "delete-from-build-support" new
-rwxr-xr-xbin/interpret-mail11
1 files changed, 11 insertions, 0 deletions
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")"