diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-05-12 15:14:29 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-05-12 15:14:29 +0200 |
commit | a40b935fcb6fac345d29ca4bc61b5ddfa2980937 (patch) | |
tree | 6a18159b87acb87437823f7626898d540c88a1a1 | |
parent | c04c1c1bb23f0cb5e8f252c9d21e560142e3b488 (diff) | |
download | jenkins.debian.net-a40b935fcb6fac345d29ca4bc61b5ddfa2980937.tar.xz |
reproducible: add maint_debian-ocaml package set
-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) |