diff options
| -rwxr-xr-x | bin/reproducible_worker.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_worker.sh b/bin/reproducible_worker.sh index 81729cd9..7e859ed0 100755 --- a/bin/reproducible_worker.sh +++ b/bin/reproducible_worker.sh @@ -63,6 +63,7 @@ while true ; do echo echo "================================================================================================" echo "$(date --utc) - running build #$BUILD_ID for $WORKER_NAME on $NODE1 and $NODE2." + echo " see https://tests.reproducible-builds.org/cgi-bin/nph-logwatch?$WORKER_NAME/$BUILD_ID" echo "================================================================================================" echo /srv/jenkins/bin/reproducible_build.sh $NODE1 $NODE2 >$BUILD_BASE/$BUILD_ID/console.log 2>&1 |