diff options
| 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) | |
| download | builder-274e721f82101d169ee3bfd5105046b82a389797.tar.xz | |
bin/interpret-mail: "delete-from-build-support" new
| -rwxr-xr-x | bin/interpret-mail | 11 |
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")" |