From 7a9ffe8cf8cc03187a238c38ba6ea71dd512b521 Mon Sep 17 00:00:00 2001
From: Lennart Kramer <lennart.kramer@stud.uni-goettingen.de>
Date: Wed, 8 Dec 2021 14:34:55 +0100
Subject: [PATCH] avoid using previous image

---
 buildimage.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/buildimage.sh b/buildimage.sh
index dde6a83..f3a4b85 100755
--- a/buildimage.sh
+++ b/buildimage.sh
@@ -26,9 +26,9 @@ echo "goemaxima: $goemaxver"
 
 REG="$2"
 IMAGENAME="goemaxima:$1"
-if [ -n "$REG" ]; then
-	docker pull "$2/$IMAGENAME-dev"
-fi
+#if [ -n "$REG" ]; then
+#	docker pull "$2/$IMAGENAME-dev"
+#fi
 
 # build it
 DOCKER_BUILDKIT=1 docker build -t "${IMAGENAME}-dev" --build-arg MAXIMA_VERSION="$maximaver" --build-arg SBCL_VERSION="$sbclver" --build-arg LIB_PATH="$libpath" . || exit 1
-- 
GitLab