From 7eb6ee73be890ab91f6787d2b36b1fe25ed652d3 Mon Sep 17 00:00:00 2001
From: Lennart Kramer <lennart.kramer@stud.uni-goettingen.de>
Date: Fri, 24 Jul 2020 15:11:10 +0200
Subject: [PATCH] gitlab ci works in strange ways
---
build.sh | 2 +-
buildimage.sh | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/build.sh b/build.sh
index 363ab44..feea3a7 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 9708447..ca75dc8 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"
--
GitLab