diff --git a/Jenkinsfile b/Jenkinsfile index b553f51..b84c8e7 100755 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,12 @@ // Jenkinsfile (Pipeline Script) node { + // Select JDK8 + env.JAVA_HOME = tool name: 'JDK8' + echo "JDK installation path is: ${env.JAVA_HOME}" + checkout scm + stage('Build') { sh 'ant clean' sh 'ant build'