< prev index next >
src/jdk.compiler/share/classes/com/sun/tools/javac/resources/javac.properties
Print this page
rev 2977 : JDK-8058150
*** 71,80 ****
--- 71,82 ----
Specify character encoding used by source files
javac.opt.profile=\
Check that API used is available in the specified profile
javac.opt.target=\
Generate class files for specific VM version
+ javac.opt.platform=\
+ Compile for a specific VM version. Supported targets: {0}
javac.opt.source=\
Provide source compatibility with specified release
javac.opt.Werror=\
Terminate compilation if warnings occur
javac.opt.A=\
*** 101,110 ****
--- 103,114 ----
<encoding>
javac.opt.arg.profile=\
<profile>
javac.opt.arg.release=\
<release>
+ javac.opt.arg.platform=\
+ <platform>
javac.opt.arg.number=\
<number>
javac.opt.plugin=\
Name and optional arguments for a plug-in to be run
javac.opt.arg.plugin=\
*** 336,340 ****
--- 340,353 ----
\n\nThe system is out of resources.\n\
Consult the following stack trace for details.\n
javac.version={0} {1}
javac.fullVersion={0} full version "{1}"
+
+ javac.err.platform.bootclasspath.conflict=\
+ option {0} cannot be used together with -platform
+
+ javac.err.unsupported.platform.version=\
+ platform version {0} not supported
+
+ javac.err.platform.not.standard.file.manager=\
+ -platform option specified, but the provided JavaFileManager is not a StandardJavaFileManager.
< prev index next >