equal
deleted
inserted
replaced
220 |
220 |
221 AnalyzeTask(final Collection<OuterWrap> wraps, String... extraArgs) { |
221 AnalyzeTask(final Collection<OuterWrap> wraps, String... extraArgs) { |
222 this(wraps.stream(), |
222 this(wraps.stream(), |
223 new WrapSourceHandler(), |
223 new WrapSourceHandler(), |
224 Util.join(new String[] { |
224 Util.join(new String[] { |
225 "-XDshouldStopPolicy=FLOW", "-Xlint:unchecked", |
225 "-Xshouldstop:at=FLOW", "-Xlint:unchecked", |
226 "-XaddExports:jdk.jshell/jdk.internal.jshell.remote=ALL-UNNAMED", |
226 "-XaddExports:jdk.jshell/jdk.internal.jshell.remote=ALL-UNNAMED", |
227 "-proc:none" |
227 "-proc:none" |
228 }, extraArgs)); |
228 }, extraArgs)); |
229 } |
229 } |
230 |
230 |