diff options
| author | Erich Eckner <git@eckner.net> | 2017-07-27 09:05:36 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-07-27 09:05:36 +0200 |
| commit | 4226d8454c5ebf319fb1b880ba90a4f84a5f2a24 (patch) | |
| tree | f28e9e4e8b3e89ebbfa7f632b0253258845e3e23 /bin/build-packages | |
| parent | ce45871aa92e658d17fea609cd6f3376f79bfcee (diff) | |
| download | builder-4226d8454c5ebf319fb1b880ba90a4f84a5f2a24.tar.xz | |
bin/build-packages: add timestamp to build message
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 da96838..2fc602b 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -213,7 +213,10 @@ while [ ${count} -ne 0 ]; do rm -f *".pkg.tar.xz" *".pkg.tar.xz.sig" - >&2 printf 'building package "%s" (straw: %s) ...' "${package}" "${straw}" + >&2 printf '%s: building package "%s" (straw: %s) ...' \ + "$(date +'%Y-%m-%d %T')" \ + "${package}" \ + "${straw}" # by piping the log, we don't see anything in the terminal, # but all ways to duplicate the logs seem pretty elaborate if "${build_command}" ${parameters} > \ |