diff options
Diffstat (limited to 'bin/reproducible_maintainance.sh')
| -rwxr-xr-x | bin/reproducible_maintainance.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/bin/reproducible_maintainance.sh b/bin/reproducible_maintainance.sh index 98187496..cbe99ef2 100755 --- a/bin/reproducible_maintainance.sh +++ b/bin/reproducible_maintainance.sh @@ -90,7 +90,6 @@ if [ ! -z "$FAILED_BUILDS" ] ; then echo echo "Rescheduling packages: " ( for PKG in $(echo $FAILED_BUILDS | sed "s# #\n#g" | cut -d "/" -f7 | cut -d "_" -f1) ; do echo $PKG ; done ) | xargs /srv/jenkins/bin/reproducible_schedule_on_demand.sh - kgb-client --conf /srv/jenkins/kgb/debian-reproducible.conf --relay-msg "This manual rescheduling was automatically done for you by $BUILD_URL" echo DIRTY=true fi |