From 84d4d6c203ad0a8fb77b53200f5b7d2fab3006ac Mon Sep 17 00:00:00 2001
From: Lennart Kramer <lennart.kramer@stud.uni-goettingen.de>
Date: Fri, 3 Jul 2020 13:08:19 +0200
Subject: [PATCH] use right variable name
---
buildimage.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/buildimage.sh b/buildimage.sh
index 0efcaff..2361efe 100755
--- a/buildimage.sh
+++ b/buildimage.sh
@@ -14,7 +14,7 @@ IMAGENAME="$5/goemaxima:$3"
# check if the image already exists on the server
docker pull "${IMAGENAME}"
# build it
-if [ "$stack" = "2017121800" ]; then
+if [ "$3" = "2017121800" ]; then
docker build -t "${IMAGENAME}" --build-arg MAXIMA_VERSION="$2" --build-arg SBCL_VERSION="$1" --build-arg LIB_PATH="$4" --build-arg "MAX_LIB_PATH=/opt/maxima/assets/maximalocal.mac" . || exit 1
else
docker build -t "${IMAGENAME}" --build-arg MAXIMA_VERSION="$2" --build-arg SBCL_VERSION="$1" --build-arg LIB_PATH="$4" . || exit 1
--
GitLab