diff options
| author | Erich Eckner <git@eckner.net> | 2018-02-02 09:55:00 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-02-02 09:55:00 +0100 |
| commit | 96a254701d2c503bb052a8f2937f5b7c22ca01be (patch) | |
| tree | 4662054281b08b16d299238127b05c04df3ed403 /bin | |
| parent | fdf371775ebbc5b70fc0df755259b8a7acce41d3 (diff) | |
| download | builder-96a254701d2c503bb052a8f2937f5b7c22ca01be.tar.xz | |
bin/interpret-mail: copy-to-build-support new
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/interpret-mail | 14 |
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 |