diff options
| author | 2019-11-07 18:55:53 +0000 | |
|---|---|---|
| committer | 2019-11-08 12:34:07 +0000 | |
| commit | a2affbbb008cf6c07a1212353cc1ec055ecedc32 (patch) | |
| tree | a11350126ca1bbc1e59a0039e4eff64e183643d6 /python/python_test.go | |
| parent | 72813feb12bc637cd75abdb1122c630ab9c78036 (diff) | |
Add a new option OVERRIDE_JLINK_VERSION_NUMBER.
This is a counterpart to the existing OVERRIDE_ANDROID_JAVA_HOME,
which is not very useful by itself in a Java module world. All jlink
commands will fail if a user sets OVERRIDE_ANDROID_JAVA_HOME without
setting OVERRIDE_JLINK_VERSION_NUMBER to the corresponding value
(unless they happen to be specifying a different OpenJDK 11
toolchain).
Test: OVERRIDE_ANDROID_JAVA_HOME=my-jdk10 OVERRIDE_JLINK_VERSION_NUMBER=10 m core-all-system-modules (with an OpenJDK 10 toolchain symlinked at my-jdk10 just for testing)
Test: zcat out/verbose.log.gz | grep 'jmod create'
Bug: 131683177
Change-Id: I31542e7f46303bba538d998171a3efe6d0215c7b
Diffstat (limited to 'python/python_test.go')
0 files changed, 0 insertions, 0 deletions