diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_common.sh | 1 | ||||
| -rwxr-xr-x | bin/reproducible_create_meta_pkg_sets.sh | 6 |
2 files changed, 7 insertions, 0 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 5ffc22f2..aa340f38 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -82,6 +82,7 @@ META_PKGSET[20]="maint_pkg-java-maintainers" META_PKGSET[21]="maint_pkg-haskell-maintainers" META_PKGSET[22]="maint_pkg-ruby-extras-maintainers" META_PKGSET[23]="maint_debian-boot" +META_PKGSET[24]="maint_debian-ocaml" schedule_packages() { # these packages are manually scheduled, so should have high priority, diff --git a/bin/reproducible_create_meta_pkg_sets.sh b/bin/reproducible_create_meta_pkg_sets.sh index 63ee0223..0f5c6478 100755 --- a/bin/reproducible_create_meta_pkg_sets.sh +++ b/bin/reproducible_create_meta_pkg_sets.sh @@ -318,6 +318,12 @@ update_pkg_sets() { update_if_similar ${META_PKGSET[23]}.pkgset fi + # debian-ocaml-maint@l.d.o maintainers + if [ ! -z $(find $TPATH -maxdepth 1 -mtime +0 -name ${META_PKGSET[24]}.pkgset) ] || [ ! -f $TPATH/${META_PKGSET[24]}.pkgset ] ; then + grep-dctrl -sPackage -n -FMaintainer,Uploaders debian-ocaml-maint@lists.debian.org $SOURCES > $TMPFILE + update_if_similar ${META_PKGSET[24]}.pkgset + fi + } TMPFILE=$(mktemp) |