(java_version)
| 105 | |
| 106 | |
| 107 | def set_jdk_options(java_version): |
| 108 | if int(java_version) >= 25: |
| 109 | os.environ["JDK_JAVA_OPTIONS"] = " ".join( |
| 110 | jdk25_runtime_options() + jdk25_javac_options() |
| 111 | ) |
| 112 | else: |
| 113 | os.environ.pop("JDK_JAVA_OPTIONS", None) |
| 114 | |
| 115 | |
| 116 | def use_jdk(java_version): |
no test coverage detected