mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-28 15:24:43 +02:00
Merge
This commit is contained in:
commit
dcda221b0d
42 changed files with 626 additions and 963 deletions
|
@ -220,12 +220,11 @@ void Arguments::init_system_properties() {
|
|||
void Arguments::init_version_specific_system_properties() {
|
||||
enum { bufsz = 16 };
|
||||
char buffer[bufsz];
|
||||
const char* spec_vendor = "Sun Microsystems Inc.";
|
||||
uint32_t spec_version = 0;
|
||||
const char* spec_vendor = "Oracle Corporation";
|
||||
uint32_t spec_version_major = 0;
|
||||
|
||||
spec_vendor = "Oracle Corporation";
|
||||
spec_version = JDK_Version::current().major_version();
|
||||
jio_snprintf(buffer, bufsz, "1." UINT32_FORMAT, spec_version);
|
||||
spec_version_major = JDK_Version::current().major_version();
|
||||
jio_snprintf(buffer, bufsz, UINT32_FORMAT, spec_version_major);
|
||||
|
||||
PropertyList_add(&_system_properties,
|
||||
new SystemProperty("java.vm.specification.vendor", spec_vendor, false));
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue