diff --git a/buildimage.sh b/buildimage.sh index 0efcaffa1a02ac7f6c15257ca6f706d957c4165b..2361efe9721c06f1ea509208d349a954f1e252e2 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