From 7f456a50c77e2d7c5189ef1614ca7aa3f67f9977 Mon Sep 17 00:00:00 2001
From: "Stefan E. Funk" <funk@sub.uni-goettingen.de>
Date: Thu, 9 Dec 2021 13:05:51 +0100
Subject: [PATCH] Rename Jenkinsfile
---
Jenkinsfile | 26 --------------------------
1 file changed, 26 deletions(-)
delete mode 100644 Jenkinsfile
diff --git a/Jenkinsfile b/Jenkinsfile
deleted file mode 100644
index b508c841..00000000
--- a/Jenkinsfile
+++ /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)
- }
- }
-}
--
GitLab