src/Pure/System/standard_system.scala
changeset 36193 067a01827fca
parent 36136 89b1a136edef
child 38264 205b74a1bb18
     1.1 --- a/src/Pure/System/standard_system.scala	Sat Apr 17 19:35:35 2010 +0200
     1.2 +++ b/src/Pure/System/standard_system.scala	Sat Apr 17 20:42:26 2010 +0200
     1.3 @@ -211,4 +211,17 @@
     1.4        }
     1.5      }
     1.6      else jvm_path
     1.7 +
     1.8 +
     1.9 +  /* this_java executable */
    1.10 +
    1.11 +  def this_java(): String =
    1.12 +  {
    1.13 +    val java_home = System.getProperty("java.home")
    1.14 +    val java_exe =
    1.15 +      if (Platform.is_windows) new File(java_home + "\\bin\\java.exe")
    1.16 +      else new File(java_home + "/bin/java")
    1.17 +    if (!java_exe.isFile) error("Expected this Java executable: " + java_exe.toString)
    1.18 +    posix_path(java_exe.getAbsolutePath)
    1.19 +  }
    1.20  }