index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-06-28 12:09:45 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-06-28 12:09:45 +0200 |
commit | 274e721f82101d169ee3bfd5105046b82a389797 (patch) | |
tree | e708b3923a71ab2c5893a122068c606ea5726ae5 | |
parent | 8a15e329c3d23d8748aa6fbb5d5b05ca6c0fdfe5 (diff) |
-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")" |