diff options
-rwxr-xr-x | bin/reproducible_build_service.sh | 2 | ||||
-rwxr-xr-x | bin/reproducible_build_service_worker.sh | 1 |
2 files changed, 0 insertions, 3 deletions
diff --git a/bin/reproducible_build_service.sh b/bin/reproducible_build_service.sh index bc9c6170..9fff975f 100755 --- a/bin/reproducible_build_service.sh +++ b/bin/reproducible_build_service.sh @@ -4,8 +4,6 @@ # released under the GPLv=2 set -e -set -x - choose_node() { case $1 in diff --git a/bin/reproducible_build_service_worker.sh b/bin/reproducible_build_service_worker.sh index 9748a6c5..7406dcd1 100755 --- a/bin/reproducible_build_service_worker.sh +++ b/bin/reproducible_build_service_worker.sh @@ -6,7 +6,6 @@ # normally defined by jenkins JENKINS_URL=https://jenkins.debian.net set -e -set -x WORKER_NAME=$1 NODE1=$2 |