js: set maxTopLevelNames to huge value properly

This commit is contained in:
Alexey Andreev 2023-07-05 20:13:19 +02:00
parent 61ef007672
commit 9fd7b9c4e2
2 changed files with 2 additions and 2 deletions

View File

@ -76,7 +76,7 @@ public class TeaVMTool {
private String targetFileName = ""; private String targetFileName = "";
private boolean obfuscated = true; private boolean obfuscated = true;
private boolean strict; private boolean strict;
private int maxTopLevelNames = 10000; private int maxTopLevelNames = 1000000;
private String mainClass; private String mainClass;
private String entryPointName = "main"; private String entryPointName = "main";
private Properties properties = new Properties(); private Properties properties = new Properties();

View File

@ -41,7 +41,7 @@ public class RemoteBuildRequest implements Serializable {
public String cacheDirectory; public String cacheDirectory;
public boolean obfuscated; public boolean obfuscated;
public boolean strict; public boolean strict;
public int maxTopLevelNames; public int maxTopLevelNames = 1000000;
public Properties properties; public Properties properties;
public TeaVMOptimizationLevel optimizationLevel; public TeaVMOptimizationLevel optimizationLevel;
public boolean fastDependencyAnalysis; public boolean fastDependencyAnalysis;