diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_create_meta_pkg_sets.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/reproducible_create_meta_pkg_sets.sh b/bin/reproducible_create_meta_pkg_sets.sh index 09c03202..e0edd401 100755 --- a/bin/reproducible_create_meta_pkg_sets.sh +++ b/bin/reproducible_create_meta_pkg_sets.sh @@ -300,8 +300,10 @@ update_pkg_sets() { convert_from_deb822_into_source_packages_only update_if_similar ${META_PKGSET[16]}.pkgset else - echo "Warning: could not download tail's latest packages file(s), skipping tails pkg set..." - ABORT=true + MESSAGE="Warning: could not download tail's latest packages file(s), skipping tails pkg set..." + echo $MESSAGE + irc_message debian-reproducible $MESSAGE + ABORT=false fi fi |