diff --git a/Jenkinsfile_OLD b/Jenkinsfile_OLD deleted file mode 100644 index b508c841cc4caa582143f671fe1c13a2ac48b96b..0000000000000000000000000000000000000000 --- a/Jenkinsfile_OLD +++ /dev/null @@ -1,26 +0,0 @@ -node { - def mvnHome - - stage('Preparation') { - mvnHome = tool 'Maven 3.5.0' - checkout scm -} - - stage('Build') { - sh "'${mvnHome}/bin/mvn' -U clean deploy -Pdhrep.deb" - } - - stage('Publish') { - def pom = readMavenPom file: 'oaipmh-webapp/pom.xml' - def pName = pom.artifactId - def pVersion = pom.parent.version - def snapshot = pVersion.contains("SNAPSHOT") - - if (snapshot) { - doDebSnapshot(pName, 'oaipmh-webapp/target', pVersion) - } - else { - doDebRelease(pName, 'oaipmh-webapp/target', pVersion) - } - } -}