diff options
Diffstat (limited to 'bin/reproducible_common.sh')
| -rwxr-xr-x | bin/reproducible_common.sh | 8 |
1 files changed, 7 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() { |