summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-06-28 12:07:07 +0200
committerErich Eckner <git@eckner.net>2018-06-28 12:07:07 +0200
commit8a15e329c3d23d8748aa6fbb5d5b05ca6c0fdfe5 (patch)
tree2861a1d562a8134c277398aa7fd703bdadaa887a
parent4eaa10dc059e9708960d6e93cd9ee588762fe10c (diff)
downloadbuilder-8a15e329c3d23d8748aa6fbb5d5b05ca6c0fdfe5.tar.xz
bin/delete-packages: report back about removed packages from build-support
-rwxr-xr-xbin/delete-packages12
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