diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-05-03 00:02:16 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-05-03 00:02:16 +0200 |
| commit | c4ed9ae1f24ecc2763007bd455b5d27bc32c8cca (patch) | |
| tree | bdde9ab074169fb0a7ac1f8c8ec313f7dcfb74a0 | |
| parent | 05bb65d347c541993fdebfb6cdcec39b6646ef4c (diff) | |
| download | jenkins.debian.net-c4ed9ae1f24ecc2763007bd455b5d27bc32c8cca.tar.xz | |
reproducible Debian: be more verbose in worker.log
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -rwxr-xr-x | bin/reproducible_worker.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/bin/reproducible_worker.sh b/bin/reproducible_worker.sh index 84ca5deb..81729cd9 100755 --- a/bin/reproducible_worker.sh +++ b/bin/reproducible_worker.sh @@ -60,5 +60,11 @@ while true ; do # # actually run reproducible_build.sh # + echo + echo "================================================================================================" + echo "$(date --utc) - running build #$BUILD_ID for $WORKER_NAME on $NODE1 and $NODE2." + echo "================================================================================================" + echo /srv/jenkins/bin/reproducible_build.sh $NODE1 $NODE2 >$BUILD_BASE/$BUILD_ID/console.log 2>&1 + echo done |