Lines Matching defs:version

6  * under the terms of the GNU General Public License version 2 only, as
14 * version 2 for more details (a copy is included in the LICENSE file that
17 * You should have received a copy of the GNU General Public License version
173 const char* fullversion, /* full version defined */
174 const char* dotversion, /* dot version defined */
214 * Make sure the specified version of the JRE is running.
217 * 1) If the version running isn't correct, this routine doesn't
218 * return (either the correct version has been exec'd or an error
714 * The SelectVersion() routine ensures that an appropriate version of
715 * the JRE is running. The specification for the appropriate version
728 char *version = NULL;
741 * If the version has already been selected, set *main_class
761 * the version specification options (new to 1.5) removed, so that
762 * a version less than 1.5 can be exec'd.
775 if (JLI_StrCCmp(arg, "-version:") == 0) {
776 version = arg + 9;
809 if (argc <= 0) { /* No operand? Possibly legit with -[full]version */
874 if (version != NULL)
875 info.jre_version = version;
887 * If no version selection information is found either on the command
897 * Check for correct syntax of the version specification (JSR 56).
987 } else if (JLI_StrCmp(arg, "-version") == 0) {
1009 JLI_ReportMessage("%s full version \"%s\"", _launcher_name, GetFullVersion());
1050 } else if (JLI_StrCCmp(arg, "-version:") == 0 ||
1097 args.version = JNI_VERSION_1_2;
1105 printf("version 0x%08lx, ", (long)args.version);
1407 * Prints the version information from the java.version and other properties.
1843 args1_1.version = JNI_VERSION_1_1;
1901 * requested version is matched, an exec would not occur, and these options
1910 * java -d32 -d64 -d32 -version
1912 * java -d32 -version