From 5bc579f05c729b66282572f3bc9eb5d6b1e24386 Mon Sep 17 00:00:00 2001 From: Raphael Defosseux <raphael.defosseux@eurecom.fr> Date: Thu, 2 Aug 2018 09:17:29 +0200 Subject: [PATCH] CI: hotfix in Jenkins pipeline script Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr> --- ci-scripts/Jenkinsfile-gitlab | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci-scripts/Jenkinsfile-gitlab b/ci-scripts/Jenkinsfile-gitlab index a57e426902..ded95eff03 100644 --- a/ci-scripts/Jenkinsfile-gitlab +++ b/ci-scripts/Jenkinsfile-gitlab @@ -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 } -- GitLab