diff options
| -rwxr-xr-x | bin/reproducible_create_meta_pkg_sets.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_create_meta_pkg_sets.sh b/bin/reproducible_create_meta_pkg_sets.sh index 8576a316..cb0f863f 100755 --- a/bin/reproducible_create_meta_pkg_sets.sh +++ b/bin/reproducible_create_meta_pkg_sets.sh @@ -182,7 +182,7 @@ if [ -z $(find $TPATH -maxdepth 1 -mtime +0 -name ${META_PKGSET[10]}.pkgset) ] ; # (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 + update_if_similar ${META_PKGSET[10]}.pkgset fi # finally |