diff --git a/Jenkinsfile2 b/Jenkinsfile2 index 910388fa8c..4bb0754343 100644 --- a/Jenkinsfile2 +++ b/Jenkinsfile2 @@ -5,7 +5,7 @@ node { } file_zh_changed = '' file_en_changed = '' -file_no_doc_changed = '' +file_no_doc_changed = '1' def abortPreviousBuilds() { def currentJobName = env.JOB_NAME def currentBuildNumber = env.BUILD_NUMBER.toInteger() @@ -655,4 +655,4 @@ pipeline { ) } } -} \ No newline at end of file +}