From ebb201a6ddfac32e10c9ffdf758f1a553462d9fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20K=2E=20H=C3=BCttel?= <dilfridge@gentoo.org>
Date: Fri, 12 Nov 2021 18:45:42 +0100
Subject: [PATCH] Actually remove dead txt files
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
---
 scripts/copy_buildsync.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/scripts/copy_buildsync.sh b/scripts/copy_buildsync.sh
index 78cc1653..f7f9a3df 100755
--- a/scripts/copy_buildsync.sh
+++ b/scripts/copy_buildsync.sh
@@ -236,8 +236,10 @@ process_arch() {
 				| xargs -n1 --no-run-if-empty readlink -f
 		done >"${_dead}"
 		if test -s "${_dead}"; then
-				echo "copy_buildsync: dead latest*txt files to verify:" 1>&2
-				cat "${_dead}" 1>&2
+				echo "copy_buildsync: removing dead latest*txt files:" 1>&2
+				foreach txtfil in $(cat "${_dead}") ; do
+					rm -v "${txtfil}" 1>&2
+				done
 		fi
 
 		# Cleanup tmpdir