(java_version)
| 114 | |
| 115 | |
| 116 | def use_jdk(java_version): |
| 117 | java_home = os.path.join(common.PROJECT_ROOT_DIR, JDKS[java_version]) |
| 118 | os.environ["JAVA_HOME"] = java_home |
| 119 | os.environ["PATH"] = f"{java_home}/bin:{os.environ.get('PATH', '')}" |
| 120 | set_jdk_options(java_version) |
| 121 | |
| 122 | |
| 123 | def save_java_env(): |
no test coverage detected