mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-27 23:04:50 +02:00
7003782: Update JVMTI version to 1.2 for jdk7
Update minor version to 1.2 for jdk7 Reviewed-by: phh, dcubed
This commit is contained in:
parent
faf320aede
commit
dd62e29b29
5 changed files with 22 additions and 11 deletions
|
@ -161,6 +161,14 @@ JvmtiEnvBase::use_version_1_1_semantics() {
|
|||
return major == 1 && minor == 1; // micro version doesn't matter here
|
||||
}
|
||||
|
||||
bool
|
||||
JvmtiEnvBase::use_version_1_2_semantics() {
|
||||
int major, minor, micro;
|
||||
|
||||
JvmtiExport::decode_version_values(_version, &major, &minor, µ);
|
||||
return major == 1 && minor == 2; // micro version doesn't matter here
|
||||
}
|
||||
|
||||
|
||||
JvmtiEnvBase::JvmtiEnvBase(jint version) : _env_event_enable() {
|
||||
_version = version;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue