summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/reproducible_common.sh1
-rwxr-xr-xbin/reproducible_create_meta_pkg_sets.sh6
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)