diff options
| author | Erich Eckner <git@eckner.net> | 2017-08-30 15:17:28 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-08-30 15:17:28 +0200 |
| commit | 65f7fb060474da576cb9baf9cbfca7099a450629 (patch) | |
| tree | 699735917fa75b506a3e502b01c3586fa61b0fe0 /bin/build-packages | |
| parent | 21fa4b4f56092cb76fe02d2a8332c4854466697a (diff) | |
| download | builder-65f7fb060474da576cb9baf9cbfca7099a450629.tar.xz | |
bin/build-packages: be more verbose about what is being built
Diffstat (limited to 'bin/build-packages')
| -rwxr-xr-x | bin/build-packages | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/bin/build-packages b/bin/build-packages index e6eb6af..8660346 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -263,9 +263,12 @@ while [ "${count}" -ne 0 ]; do find . -maxdepth 1 -type f \( -name '*.pkg.tar.xz' -o -name '*.pkg.tar.xz.sig' \) -exec \ rm {} \; - >&2 printf '%s: building package "%s" (straw: %s) ...' \ + >&2 printf '%s: building package "%s" (revisions %s %s, repository %s, straw %s) ...' \ "$(date +'%Y-%m-%d %T')" \ "${package}" \ + "${git_revision}" \ + "${mod_git_revision}" \ + "${repository}" \ "${straw}" # by piping the log, we don't see anything in the terminal, # but all ways to duplicate the logs seem pretty elaborate |