diff options
Diffstat (limited to 'bin/reproducible_worker.sh')
| -rwxr-xr-x | bin/reproducible_worker.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_worker.sh b/bin/reproducible_worker.sh index b92606b7..84ca5deb 100755 --- a/bin/reproducible_worker.sh +++ b/bin/reproducible_worker.sh @@ -60,5 +60,5 @@ while true ; do # # actually run reproducible_build.sh # - /srv/jenkins/bin/reproducible_build.sh $NODE1 $NODE2 >$BUILD_BASE/$BUILD_ID/console 2>&1 + /srv/jenkins/bin/reproducible_build.sh $NODE1 $NODE2 >$BUILD_BASE/$BUILD_ID/console.log 2>&1 done |