diff options
| -rwxr-xr-x | bin/reproducible_build_service.sh | 2 | ||||
| -rwxr-xr-x | bin/reproducible_worker.sh (renamed from bin/reproducible_build_service_worker.sh) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_build_service.sh b/bin/reproducible_build_service.sh index dcbf64a2..7b7d1d6e 100755 --- a/bin/reproducible_build_service.sh +++ b/bin/reproducible_build_service.sh @@ -162,7 +162,7 @@ for ARCH in i386 arm64 armhf ; do BUILD_BASE=/var/lib/jenkins/userContent/reproducible/debian/build_service/$WORKER_NAME mkdir -p $BUILD_BASE echo "$(date --utc) - Starting $WORKER_NAME" - /srv/jenkins/bin/reproducible_build_service_worker.sh $WORKER_NAME $NODE1 $NODE2 >$BUILD_BASE/worker.log 2>&1 & + /srv/jenkins/bin/reproducible_worker.sh $WORKER_NAME $NODE1 $NODE2 >$BUILD_BASE/worker.log 2>&1 & done done diff --git a/bin/reproducible_build_service_worker.sh b/bin/reproducible_worker.sh index 62006f79..62006f79 100755 --- a/bin/reproducible_build_service_worker.sh +++ b/bin/reproducible_worker.sh |