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

redsun82 · redsun82 · commit 306f0f172d32 · 2024-04-16T13:55:20.000+02:00
diff --git 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:
