diff options
Diffstat (limited to 'Jenkinsfile.docker')
| -rw-r--r-- | Jenkinsfile.docker | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Jenkinsfile.docker b/Jenkinsfile.docker index 8f7ceb8e..2cac4548 100644 --- a/Jenkinsfile.docker +++ b/Jenkinsfile.docker @@ -53,7 +53,7 @@ pipeline { steps { script { DOCKER_IMAGE_AMD64 = "vyos/vyos-build:" + env.GIT_BRANCH_NAME - sh "docker build -t ${DOCKER_IMAGE_AMD64} docker" + sh "docker build --no-cache --tag ${DOCKER_IMAGE_AMD64} docker" if (! isCustomBuild()) { withDockerRegistry([credentialsId: "DockerHub"]) { sh "docker push ${DOCKER_IMAGE_AMD64}" @@ -69,7 +69,7 @@ pipeline { steps { script { DOCKER_IMAGE_ARM64 = "vyos/vyos-build:" + env.GIT_BRANCH_NAME + "-arm64" - sh "docker build -t ${DOCKER_IMAGE_ARM64} --build-arg ARCH=arm64v8/ docker" + sh "docker build --no-cache --tag ${DOCKER_IMAGE_ARM64} --build-arg ARCH=arm64v8/ docker" if (! isCustomBuild()) { withDockerRegistry([credentialsId: "DockerHub"]) { sh "docker push ${DOCKER_IMAGE_ARM64}" |