diff options
-rw-r--r-- | Jenkinsfile.docker | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile.docker b/Jenkinsfile.docker index 7f8abe14..b52676b4 100644 --- a/Jenkinsfile.docker +++ b/Jenkinsfile.docker @@ -50,7 +50,7 @@ pipeline { steps { script { DOCKER_IMAGE = "vyos/vyos-build:" + getGitBranchName() - sh "docker build -t ${DOCKER_IMAGE} docker" + sh "docker build --no-cache --tag ${DOCKER_IMAGE} docker" if (! isCustomBuild()) { withDockerRegistry([credentialsId: "DockerHub"]) { sh "docker push ${DOCKER_IMAGE}" |