diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_create_meta_pkg_sets.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_create_meta_pkg_sets.sh b/bin/reproducible_create_meta_pkg_sets.sh index dd641c91..75cfe769 100755 --- a/bin/reproducible_create_meta_pkg_sets.sh +++ b/bin/reproducible_create_meta_pkg_sets.sh @@ -337,6 +337,7 @@ update_pkg_set_specific() { packages_list_to_deb822 convert_from_deb822_into_source_packages_only else + rm $TMPFILE MESSAGE="Warning: could not download grml's latest dpkg.selections file, skipping pkg set..." irc_message debian-reproducible $MESSAGE ABORT=true @@ -351,6 +352,7 @@ update_pkg_set_specific() { tails_build_manifest_to_deb822 "$TMPFILE" "$PACKAGES" convert_from_deb822_into_source_packages_only else + rm $TMPFILE MESSAGE="Warning: could not download tail's latest packages file(s), skipping tails pkg set..." irc_message debian-reproducible $MESSAGE ABORT=true |