From 9a94c9b9a9b9b28c73866f0ced83dc86d593f815 Mon Sep 17 00:00:00 2001
From: haoranchen <haoran920c@163.com>
Date: Tue, 18 Feb 2025 20:09:34 +0800
Subject: [PATCH] fix: set file_no_doc_changed global var

---
 Jenkinsfile2 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile2 b/Jenkinsfile2
index 395beb72db..3135b7b683 100644
--- a/Jenkinsfile2
+++ b/Jenkinsfile2
@@ -70,7 +70,7 @@ def check_docs(){
             returnStdout: true
         )
         
-        def file_no_doc_changed = sh (
+        file_no_doc_changed = sh (
             script: '''
                 cd ${WKC}
                 git --no-pager diff --name-only FETCH_HEAD `git merge-base FETCH_HEAD ${CHANGE_TARGET}`|grep -v "^docs/en/"|grep -v "^docs/zh/"|grep -v ".md$" || :