diff --git a/buildimage.sh b/buildimage.sh index dde6a83c2e56ddd5b755a710b14d3cfdd07668f8..f3a4b85a1b258705bb0d133fcc6d921ce58e4ba1 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