changeset 61001 | ea38a1922a0b |
parent 55618 | 995162143ef4 |
child 64370 | 865b39487b5d |
--- a/src/Pure/System/platform.scala Fri Aug 21 20:18:52 2015 +0200 +++ b/src/Pure/System/platform.scala Fri Aug 21 20:47:53 2015 +0200 @@ -53,8 +53,17 @@ } + /* JVM version */ + + private val Version = new Regex("""1\.(\d+)\.0_(\d+)""") + lazy val jvm_version = + System.getProperty("java.version") match { + case Version(a, b) => a + "u" + b + case a => a + } + + /* JVM name */ val jvm_name: String = System.getProperty("java.vm.name", "") } -