diff --git a/build.sh b/build.sh index 363ab44501487488807057a33a138aeb447130cb..feea3a723f09b75a3afcfbf2d2559de8fc74e788 100755 --- a/build.sh +++ b/build.sh @@ -2,5 +2,5 @@ REGISTRY=$1 grep -v '^#' versions | cut -f1 | \ while read -r ver; do goemaxima_version="$2" - ./buildimage.sh "$ver" "${REGISTRY}" "$goemaxima_version" || exit 1 + /bin/sh buildimage.sh "$ver" "${REGISTRY}" "$goemaxima_version" || exit 1 done diff --git a/buildimage.sh b/buildimage.sh index 9708447c4439fdcfd17441e3ca07893b7e8e1f3a..ca75dc82307edaf2f4104ce524010ad9461ffc10 100755 --- a/buildimage.sh +++ b/buildimage.sh @@ -25,7 +25,7 @@ if [ -n "$REG" ]; then fi # build it docker build -t "${IMAGENAME}-dev" --build-arg MAXIMA_VERSION="$maximaver" --build-arg SBCL_VERSION="$sbclver" --build-arg LIB_PATH="$libpath" . || exit 1 -echo "${IMAGENAME} wurde erfolgreich gebaut." +echo "${IMAGENAME} was built successfully." # push the image if [ -n "$REG" ]; then docker tag "$IMAGENAME-dev" "$2/$IMAGENAME-dev"