From 00039ca58b1b44b5ee1e2bfd4dc0d50300d06bf8 Mon Sep 17 00:00:00 2001
From: Benedikt Peetz <benedikt.peetz@b-peetz.de>
Date: Mon, 29 Sep 2025 10:57:17 +0200
Subject: build.sh: Also deal with stale `result-*` symlinks

---
 build.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build.sh b/build.sh
index 69798ce8..3cba8fc2 100755
--- a/build.sh
+++ b/build.sh
@@ -23,7 +23,9 @@ check() {
     if [ -s "$file" ]; then
         rm "$file"
     elif ! [ -e "$file" ]; then
-        : "Ignore not existing files"
+        rm "$file" || {
+            : "Ignore not existing files"
+        }
     else
         echo "ERROR: '$file' is not a symlink. Not removing it." 1>&2
         exit 1
-- 
cgit 1.4.1