diff --git a/Jenkinsfile b/Jenkinsfile index 106b3d0d1..1c9fd07bb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -50,6 +50,7 @@ pipeline { // } stage('push') { steps { + script { def pom = readMavenPom file: "pom.xml"; // filesByGlob = findFiles(glob: "target/*.${pom.packaging}"); // // echo "${filesByGlob[0].name} ${filesByGlob[0].path} ${filesByGlob[0].directory} ${filesByGlob[0].length} ${filesByGlob[0].lastModified}" @@ -63,6 +64,8 @@ pipeline { // } else { // error "*** File: ${artifactPath}, could not be found"; // } + } + } } }