diff options
| -rwxr-xr-x | bin/reproducible_common.sh | 8 | ||||
| -rwxr-xr-x | bin/reproducible_maintenance.sh | 1 |
2 files changed, 8 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 1a4b81af..681c90b4 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -92,7 +92,13 @@ META_PKGSET[26]="maint_debian-boot" META_PKGSET[27]="maint_debian-ocaml" schedule_packages() { - LC_USER="$REQUESTER" LOCAL_CALL="true" /srv/jenkins/bin/reproducible_remote_scheduler.py --no-notify --suite "$UITE" $@ + LC_USER="$REQUESTER" \ + LOCAL_CALL="true" \ + /srv/jenkins/bin/reproducible_remote_scheduler.py \ + --message "$REASON" \ + --no-notify \ + --suite "$UITE" \ + $@ } write_page() { diff --git a/bin/reproducible_maintenance.sh b/bin/reproducible_maintenance.sh index 3e4feec5..40d6d313 100755 --- a/bin/reproducible_maintenance.sh +++ b/bin/reproducible_maintenance.sh @@ -78,6 +78,7 @@ if [ ! -z "$FAILED_BUILDS" ] ; then echo "Rescheduling packages: " for SUITE in $(echo $FAILED_BUILDS | sed "s# #\n#g" | cut -d "/" -f8 | sort -u) ; do REQUESTER="jenkins maintenance job" + REASON="maintenance reschedule: reschedule builds which failed due to network errors" CANDIDATES=$(for PKG in $(echo $FAILED_BUILDS | sed "s# #\n#g" | grep "/$SUITE/" | cut -d "/" -f10 | cut -d "_" -f1) ; do echo -n "$PKG " ; done) schedule_packages $SUITE $CANDIDATES done |