Merge pull request #2338 from tong/no-haxe-times-param

Remove haxe --times param per default
This commit is contained in:
Lubos Lenco 2021-09-22 19:21:52 +02:00 committed by GitHub
commit 62d399e01a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -270,7 +270,7 @@ project.addSources('Sources');
if not is_publish and state.target == 'html5':
khafile.write("project.addParameter('--debug');\n")
if wrd.arm_verbose_output:
if arm.utils.get_pref_or_default('haxe_times', False):
khafile.write("project.addParameter('--times');\n")
if export_ui: