copy files required in Docker image from git workspace to docker/ and clean up afterwards

This commit is contained in:
Axel Uhl
2018-11-27 20:58:02 +01:00
parent dcf4f4f66c
commit 865e519fce
4 changed files with 9 additions and 2 deletions
+7
View File
@@ -8,5 +8,12 @@ if [ "$release" = "" ]; then
rm $INDEX
echo Latest release is $release
fi
GITROOT=`dirname $0`/..
echo "Copying files from GITROOT $GITROOT into Docker workspace"
cp "$GITROOT/java/target/env.sh" .
cp "$GITROOT/java/target/start" .
cp "$GITROOT/java/target/configuration/JavaSE-11.profile" .
cat Dockerfile.tpl | sed -e "s/RELEASE/${release}/g" >Dockerfile
docker build -t sapsailing:$release .
echo "Cleaning up..."
rm start env.sh JavaSE-11.profile