| commit | 234dc9243e14d27b848067145e11da7c86f02819 | [log] [tgz] |
|---|---|---|
| author | Zack Williams <zdw@opennetworking.org> | Fri Aug 30 17:03:57 2019 -0700 |
| committer | Zack Williams <zdw@opennetworking.org> | Fri Aug 30 17:19:53 2019 -0700 |
| tree | 70f41677d94db54c4bc39fa42c01c89c33330b91 | |
| parent | accfa34b0a59b3761176960a8270298c6bb36648 [diff] [blame] |
Parameterize the JDK distribution Change-Id: Idcc0f9348ec257bc0382de68422af2b141cec413
diff --git a/jjb/defaults.yaml b/jjb/defaults.yaml index 9ed426c..901d11b 100644 --- a/jjb/defaults.yaml +++ b/jjb/defaults.yaml
@@ -173,3 +173,7 @@ # Currently used with: github-release artifact-glob: '' + # JDK distribution to use + # Give the version of the JDK to use when building + # Parameter is used with `update-java-alternatives --set <jdk-distribution>` + jdk-distribution: 'java-11-amazon-corretto'