diff options
| author | Joel Klinghed <the_jk@opera.com> | 2023-01-23 15:02:29 +0100 |
|---|---|---|
| committer | Joel Klinghed <the_jk@opera.com> | 2023-01-23 15:02:29 +0100 |
| commit | afa7dbe0e40e3cb515de7e6d25d526b5362e9922 (patch) | |
| tree | 20846e50c68af7ba1ae9bc7f40191a9b56a5f58b | |
| parent | 69bb8f513fb9357e92590d5d9a0021e34ddf6814 (diff) | |
Possibly save time when compiling kotlin files
| -rw-r--r-- | bin/flycheck-android-kotlin.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/flycheck-android-kotlin.py b/bin/flycheck-android-kotlin.py index c6a49e8..bceafc8 100644 --- a/bin/flycheck-android-kotlin.py +++ b/bin/flycheck-android-kotlin.py @@ -90,6 +90,8 @@ def run_kotlinc(cp, files, output, args, sourcefile, outdir): if output: command.extend(['-d', output]) command.extend([arg for arg in args if not arg.startswith('-Xplugin=')]) + # Save time? + command.append('-Xno-optimize') command.append(sourcefile) # Must include all source files or internal access will fail if outdir: |