index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-06-22 14:24:53 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-06-22 14:24:53 +0200 |
commit | c47b7b71893edb7528b0e94da476e790b338a440 (patch) | |
tree | 017d30d463162ec2ca8264f1a784d32b90c8c728 /bin | |
parent | 11ae14214ab1c62a5b17a3753ebc3775b082741a (diff) |
-rwxr-xr-x | bin/interpret-mail | 10 |
diff --git a/bin/interpret-mail b/bin/interpret-mail index 4890e4c..9c9c7dc 100755 --- a/bin/interpret-mail +++ b/bin/interpret-mail @@ -5,8 +5,6 @@ # shellcheck source=../lib/load-configuration . "${0%/*}/../lib/load-configuration" -# TODO: enable email interface to delete packages - # shellcheck disable=SC2016 if [ $# -ne 0 ]; then >&2 echo '' @@ -275,6 +273,14 @@ if [ -s "${tmp_dir}/copy-to-build-support" ]; then fi fi +if [ -s "${tmp_dir}/delete" ]; then + if run_and_log_on_error 'delete' "${base_dir}/bin/delete-packages" --wait; then + log 1 'delete' 1 + else + log 0 'delete' 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")" |