diff options
Diffstat (limited to 'bin/reproducible_create_meta_pkg_sets.sh')
| -rwxr-xr-x | bin/reproducible_create_meta_pkg_sets.sh | 6 |
1 files changed, 6 insertions, 0 deletions
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) |