diff --git a/Jenkinsfile b/Jenkinsfile index 887972c..98d87c7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -49,7 +49,7 @@ pipeline { // Maak een Docker-image gebaseerd op de Dockerfile sh 'ls src/main' sh """ - docker build -t ${IMAGE_REPO}/${IMAGE_NAME}:${IMAGE_TAG} -f src/main/resources/Dockerfile.jvm --platform linux/amd64 . + docker build -t ${IMAGE_REPO}/${IMAGE_NAME}:${IMAGE_TAG} -f src/main/resources/Dockerfile.jvm . """ } }