| index : builder | |
| Archlinux32 build system | gitolite user |
| summaryrefslogtreecommitdiff |
| -rwxr-xr-x | bin/interpret-mail | 11 |
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")" |