Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-02-02 09:55:00 +0100
committerErich Eckner <git@eckner.net>2018-02-02 09:55:00 +0100
commit96a254701d2c503bb052a8f2937f5b7c22ca01be (patch)
tree4662054281b08b16d299238127b05c04df3ed403 /bin
parentfdf371775ebbc5b70fc0df755259b8a7acce41d3 (diff)
bin/interpret-mail: copy-to-build-support new
Diffstat (limited to 'bin')
-rwxr-xr-xbin/interpret-mail14
1 files changed, 14 insertions, 0 deletions
diff --git a/bin/interpret-mail b/bin/interpret-mail
index 08e0f16..1cc466e 100755
--- a/bin/interpret-mail
+++ b/bin/interpret-mail
@@ -23,6 +23,9 @@ if [ $# -ne 0 ]; then
>&2 echo ' - "block: <state-file> <reason>":'
>&2 echo ' Block the given packge for the given reason.'
>&2 echo ''
+ >&2 echo ' - "copy-to-build-support: <pkgname>":'
+ >&2 echo ' Copy the given binary package into [build-support].'
+ >&2 echo ''
>&2 echo ' - "schedule: <pkgbase>":'
>&2 echo ' Put the given package on the build list (again).'
>&2 echo ''
@@ -226,3 +229,14 @@ if [ -s "${tmp_dir}/schedule" ]; then
sponge "${tmp_dir}/schedule"
log 'Successfully (re)scheduled %s packages.\n' "$(wc -l < "${tmp_dir}/schedule")"
fi
+
+if [ -s "${tmp_dir}/copy-to-build-support" ]; then
+ sed -i '
+ /\.pkg\.tar\.xz$/!s/$/.pkg.tar.xz/
+ ' "${tmp_dir}/copy-to-build-support"
+ if run_and_log_on_error "${base_dir}/bin/copy-to-build-support" "${tmp_dir}/copy-to-build-support"; then
+ log 'Successfully copied %s packages to [build-support].\n' "$(wc -l < "${tmp_dir}/copy-to-build-support")"
+ else
+ log 'There was an error while copying the packages to [build-support] - ignoring this message.\n'
+ fi
+fi