Update Jenkins file. (#29)

jenkinsci · Aug 30, 2019 · 80c86c2 · 80c86c2
1 parent c909d86
commit 80c86c2
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,3 +1,3 @@
-buildPlugin(
-  configurations: buildPlugin.recommendedConfigurations().findAll { it.platform == 'linux' },
-)
+buildPlugin(/*...*/, configurations: [
+  [ platform: "linux", jdk: "8", jenkins: null ],
+])