diff options
| -rwxr-xr-x | bin/reproducible_maintainance.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/reproducible_maintainance.sh b/bin/reproducible_maintainance.sh index 3f60dafe..6f2ae0fb 100755 --- a/bin/reproducible_maintainance.sh +++ b/bin/reproducible_maintainance.sh @@ -78,6 +78,7 @@ 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 |