< prev index next >

src/jdk.compiler/share/classes/com/sun/tools/javac/resources/javac.properties

Print this page
rev 2977 : JDK-8058150

@@ -71,10 +71,12 @@
     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,10 +103,12 @@
     <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,5 +340,14 @@
 \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 >