CI: hotfix in Jenkins pipeline script

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2018-08-02 09:17:29 +02:00
parent d1dd00b08e
commit 5bc579f05c
1 changed files with 1 additions and 1 deletions
@@ -227,7 +227,7 @@ pipeline {
                            if ("0".equals(res)) {
                                echo "No issues w/ warnings/errors in this merge request"
                            } else {
-                                def fileList=eadFile('./oai_warning_files_list.txt').trim();
+                                def fileList=readFile('./oai_warning_files_list.txt').trim();
                                def message = "OAI " + JOB_NAME + " build (" + BUILD_ID + "): Some modified files in Merge Request MAY have INTRODUCED WARNINGS (" + fileList + ")"
                                addGitLabMRComment comment: message
                            }