Fix docker build problem on jetty

This commit is contained in:
David Ducatel
2017-12-13 10:31:39 +01:00
parent b9bb9c71c5
commit 7fb25caeca
3 changed files with 15 additions and 7 deletions

View File

@@ -9,15 +9,15 @@ after_success:
- docker login -u $DOCKER_LOGIN -p $DOCKER_PASSWORD
- if [ "$TRAVIS_BRANCH" == "master" ]; then
docker build -t plantuml/plantuml-server:jetty -f Dockerfile.jetty . ;
docker build -t plantuml/plantuml-server:tomcat -f Dockerfile.tomcat . ;
docker build --pull -t plantuml/plantuml-server:jetty -f Dockerfile.jetty . ;
docker build --pull -t plantuml/plantuml-server:tomcat -f Dockerfile.tomcat . ;
docker tag plantuml/plantuml-server:jetty plantuml/plantuml-server:latest ;
docker push plantuml/plantuml-server:tomcat;
docker push plantuml/plantuml-server:jetty;
docker push plantuml/plantuml-server:latest;
docker build -t plantuml/plantuml-server:armv8a -f Dockerfile.armv8a . ;
docker build --pull -t plantuml/plantuml-server:armv8a -f Dockerfile.armv8a . ;
docker push plantuml/plantuml-server:armv8a;
fi