From 618438001a0277c664417d25fa78bd5e8c491f46 Mon Sep 17 00:00:00 2001
From: Janis Hutz <development@janishutz.com>
Date: Tue, 23 Dec 2025 07:53:53 +0100
Subject: [PATCH] Build script fixes

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

diff --git a/latex/build-image.sh b/latex/build-image.sh
index 5f754b4..9c6814c 100755
--- a/latex/build-image.sh
+++ b/latex/build-image.sh
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+set -e
+
 echo "Build will be tagged with $1"
 echo "Build directory is $(pwd)"
 
@@ -12,6 +14,6 @@ docker push "$1"
 if [ -n "$OLD_IMG" ]; then
 	if [ "$OLD_IMG" != "$(docker image ls -q "$1")" ]; then
 		echo "New build uploaded, removing old image, id: $OLD_IMG"
-		docker image rm "$OLD_IMG"
+		docker image rm "$OLD_IMG" || true
 	fi
 fi