MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-06 06:21:16 +07:00
Code Issues Packages Projects Releases Wiki Activity

correct option filtering

Browse Source
This commit is contained in:
Eugene Zhuravlev
2012-02-05 12:35:14 +01:00
parent 01903ef524
commit ab368c4c90
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
jps/jps-builders/src/org/jetbrains/jps/javac/JavacMain.java
+7 -2
View File
@@ -16,7 +16,10 @@ import java.util.*;
*/
public class JavacMain {
private static final Set<String> FILTERED_OPTIONS = new HashSet<String>(Arrays.<String>asList(
"-verbose", "-d", "-classpath", "-cp", "-bootclasspath"/*, "-proc:none"*/
"-d", "-classpath", "-cp", "-bootclasspath"
));
private static final Set<String> FILTERED_SINGLE_OPTIONS = new HashSet<String>(Arrays.<String>asList(
"-verbose", "-proc:none"
));
public static boolean compile(Collection<String> options,
@@ -86,7 +89,9 @@ public class JavacMain {
continue;
}
if (!skip) {
result.add(option);
if (!FILTERED_SINGLE_OPTIONS.contains(option)) {
result.add(option);
}
}
skip = false;
}