From 8a15e329c3d23d8748aa6fbb5d5b05ca6c0fdfe5 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 28 Jun 2018 12:07:07 +0200
Subject: bin/delete-packages: report back about removed packages from
 build-support

---
 bin/delete-packages | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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
-- 
cgit v1.2.3-70-g09d2