diff options
| -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 |