diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-01-06 22:40:40 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-01-06 22:40:40 +0100 |
| commit | debd693250e6ad5a051f127b6f111017197ec07c (patch) | |
| tree | 60eeee90cf1802f10abaa6af5aa9e80aca161d5c /bin/reproducible_create_meta_pkg_sets.sh | |
| parent | 74d70cfdd7d75b516e75aec4f4c3e5f1b9948cdb (diff) | |
| download | jenkins.debian.net-debd693250e6ad5a051f127b6f111017197ec07c.tar.xz | |
reproducible: create another meta package set to track: packages installed on one or more .debian.org machines
Diffstat (limited to 'bin/reproducible_create_meta_pkg_sets.sh')
| -rwxr-xr-x | bin/reproducible_create_meta_pkg_sets.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/bin/reproducible_create_meta_pkg_sets.sh b/bin/reproducible_create_meta_pkg_sets.sh index 769cb3cd..c325bd65 100755 --- a/bin/reproducible_create_meta_pkg_sets.sh +++ b/bin/reproducible_create_meta_pkg_sets.sh @@ -135,6 +135,15 @@ if [ -z $(find $TPATH -maxdepth 1 -mtime +0 -name ${META_PKGSET[9]}.pkgset) ] ; update_if_similar ${META_PKGSET[9]}.pkgset fi +# installed on one or more .debian.org machines +if [ -z $(find $TPATH -maxdepth 1 -mtime +0 -name ${META_PKGSET[10]}.pkgset) ] ; then + # FIXME: get a proper data provider from DSA... + # (so far it was a manual "dpkg --get-selections" on all machines + # converted into a list of source packages...) + cat /srv/jenkins/bin/reproducible_installed_on_debian.org > $TMPFILE + update_if_similar ${META_PKGSET[9]}.pkgset +fi + # finally echo "All meta package sets created successfully." |