Jenkinsfiles: Print if an XML file is not present

2024-09-23 12:19:49 +02:00
parent de310c6e82
commit 40bde2ae75
7 changed files with 14 additions and 0 deletions
@@ -200,6 +200,8 @@ pipeline {
              if (fileExists(xmlFile)) {
                mainPythonAllXmlFiles += "--XMLTestFile=" + xmlFile + " "
                echo "Test XML file         :   ${xmlFile}"
+              } else {
+                echo "Test XML file ${xmlFile}: no such file"
              }
            }
            withCredentials([