diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-28 12:07:07 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-28 12:07:07 +0200 |
| commit | 8a15e329c3d23d8748aa6fbb5d5b05ca6c0fdfe5 (patch) | |
| tree | 2861a1d562a8134c277398aa7fd703bdadaa887a | |
| parent | 4eaa10dc059e9708960d6e93cd9ee588762fe10c (diff) | |
| download | builder-8a15e329c3d23d8748aa6fbb5d5b05ca6c0fdfe5.tar.xz | |
bin/delete-packages: report back about removed packages from build-support
| -rwxr-xr-x | bin/delete-packages | 12 |
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 |