From b1adf8f61fab26b8f6d695a44e9de83aab70aa25 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Tue, 23 Dec 2025 08:16:32 +0100 Subject: [PATCH] Update build script --- latex/build-image.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/latex/build-image.sh b/latex/build-image.sh index 05b141a..12228ff 100755 --- a/latex/build-image.sh +++ b/latex/build-image.sh @@ -15,5 +15,6 @@ 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 rmi -f "$OLD_IMG" || true + echo "Exit status: $?" fi fi