changeset 40835 | 6ab9ed1abc46 |
parent 39809 | 74b7aea686d8 |
child 43038 | 7b8b8750a78e |
--- a/langtools/src/jdk.jshell/share/classes/jdk/jshell/TaskFactory.java Wed Jul 05 22:10:57 2017 +0200 +++ b/langtools/src/jdk.jshell/share/classes/jdk/jshell/TaskFactory.java Tue Sep 06 17:04:43 2016 -0700 @@ -222,7 +222,7 @@ this(wraps.stream(), new WrapSourceHandler(), Util.join(new String[] { - "-Xshouldstop:at=FLOW", "-Xlint:unchecked", + "--should-stop:at=FLOW", "-Xlint:unchecked", "-proc:none" }, extraArgs)); }