Eclipse
/
jetty.project
mirror of https://github.com/jetty/jetty.project.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Attempting to fix jetty-9.2.x build

This commit is contained in:
Joakim Erdfelt 2018-08-14 15:39:08 -05:00
parent 6ec3321c16
commit 283fa32e59
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Jenkinsfile vendored
View File

@ -1,10 +1,11 @@
#!groovy
def jdk = 'jdk7'
node("linux") {
// System Dependent Locations
def jdk = 'jdk7'
def mvntool = tool name: 'maven3.5', type: 'hudson.tasks.Maven$MavenInstallation'
def jdktool = tool name: $jdk, type: 'hudson.model.JDK'
def jdktool = tool name: "$jdk", type: 'hudson.model.JDK'
def mvnName = 'maven3.5'
def localRepo = "${env.JENKINS_HOME}/${env.EXECUTOR_NUMBER}" // ".repository" //
def settingsName = 'oss-settings.xml'