diff --git a/Jenkinsfile b/Jenkinsfile index e939d1490..9c20f1500 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -288,6 +288,7 @@ pipeline steps { bat """ call ../setEnv64.bat + git checkout . make deploy ARGS="--replace-latest" """ }