Kotlin: accept --select default in kotlinc wrapper to select the default version

2026-04-21 15:05:56 +02:00 · 2024-04-16 13:55:20 +02:00
parent 27ab4875fd
commit 306f0f172d
1 changed files with 3 additions and 1 deletions
--- a/java/kotlin-extractor/deps/dev/kotlinc
+++ b/java/kotlin-extractor/deps/dev/kotlinc
@@ -130,7 +130,9 @@ def main(opts, forwarded_opts):
        clear()
        return
    current_version = get_version()
-    if opts.select:
+    if opts.select == "default":
+        selected_version = DEFAULT_VERSION
+    elif opts.select is not None:
        check_version(opts.select)
        selected_version = opts.select
    else: