diff options
| author | Erich Eckner <git@eckner.net> | 2019-04-15 11:11:41 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-04-15 11:11:41 +0200 |
| commit | 8b44a84569f1eb6a061092982daf7df41bd28415 (patch) | |
| tree | 14510ba0bb6f55b0d6c0edfe8317c9f47c1107a7 /bin/build-packages | |
| parent | 084e5210aeb6e6ddbaf03e4d3c1dfef5995d2924 (diff) | |
| download | builder-8b44a84569f1eb6a061092982daf7df41bd28415.tar.xz | |
bin/build-packages: print architecture of built package
Diffstat (limited to 'bin/build-packages')
| -rwxr-xr-x | bin/build-packages | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/build-packages b/bin/build-packages index 79ef001..a084a9a 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -514,13 +514,14 @@ while [ "${count}" -ne 0 ] && \ rm {} \; echo 'building' > "${tmp_dir}/.ping-build-master" - >&2 printf '%s: building package "%s" (revisions %s %s, repository %s, straw %s) ...' \ + >&2 printf '%s: building package "%s" (revisions %s %s, repository %s, straw %s) for %s ...' \ "$(date +'%Y-%m-%d %T')" \ "${package}" \ "${git_revision}" \ "${mod_git_revision}" \ "${repository}" \ - "${straw}" + "${straw}" \ + "${arch}" # by piping the log, we don't see anything in the terminal, # but all ways to duplicate the logs seem pretty elaborate # shellcheck disable=SC2024,SC2086 |