diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-04-26 15:59:16 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-04-26 15:59:16 +0200 |
| commit | 1736e1fb44e9a26a286583be5d1a01c42e8afed2 (patch) | |
| tree | ed22784ca433aadfc6667d62059f8d525395f3b9 | |
| parent | a660d207be25f9abbfcf972a2bf0e603b7f0b10d (diff) | |
| download | jenkins.debian.net-1736e1fb44e9a26a286583be5d1a01c42e8afed2.tar.xz | |
reproducible Debian: rename _build_service_worker.sh to worker.sh
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -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 |