commit 7662876c3a867716dccf5c0084a1376ad94129cb
author Richard Eckart de Castilho <rec@apache.org> Sun Oct 18 22:09:59 2020 +0200
committer GitHub <noreply@github.com> Sun Oct 18 22:09:59 2020 +0200
tree 3332dd5331f275ff8d9f6c2e95f45c5fce77eec0
parent 90b5685b6df697f9ff940ebb94d8548b9f181208
parent 34236f60a7aae4d4ff4c7b444cd36e6e9fc9d16e

Merge pull request #126 from apache/NO-JIRA-Fix-Jenkinsfile

[NO JIRA] Fix Jenkinsfile

Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index 5bd0abc..dc512eb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,13 +16,11 @@
 // under the License.
   
 pipeline {
-  agent {
-    label '!Windows'
-  }
-
-  tools { 
-    maven 'Maven (latest)' 
-    jdk 'JDK 1.8 (latest)' 
+  agent any
+  
+  tools {
+    maven 'maven_latest' 
+    jdk 'jdk_1.8_latest' 
   }
 
   options {
@@ -48,7 +46,14 @@
     stage("Build info") {
       steps {
         echo '=== Environment variables ==='
-        sh 'printenv'
+        script {
+          if (isUnix()) {
+            sh 'printenv'
+          }
+          else {
+            bat 'set'
+          }
+        }
       }
     }