bin/delete-packages: report back about removed packages from build-support

1 files changed, 12 insertions, 0 deletions

diff --git a/bin/delete-packages b/bin/delete-packages
index cf151fa..58d15e3 100755
--- a/bin/delete-packages
+++ b/bin/delete-packages
@@ -304,6 +304,18 @@ export TMPDIR="${tmp_dir}"
     }
   '
 
+if [ -n "${build_support}" ] && \
+  [ -w "${build_support}" ] && \
+  [ ! -p "${build_support}" ]; then
+  sed -n '
+    \,^pool/, d
+    s/\.sig$//
+    T
+    p
+  ' "${tmp_dir}/package-files" > \
+    "${build_support}"
+fi
+
 if [ ! -s "${tmp_dir}/packages" ]; then
   printf 'Nothing to delete.\n'
   exit