diff --git a/Jenkinsfile b/Jenkinsfile index e2cf2c33..3f58f5c0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -18,6 +18,7 @@ pipeline { stage('build') { steps { node (label: 'testing') { + fileExists 'README.md' bat 'C:/GITTEMP/build.cmd' } }