# HG changeset patch
# User wenzelm
# Date 1341497493 -7200
# Node ID cab79d456044d8d8a84ce8d6e9a23635e9787f90
# Parent  07a32140ce0d44b6ccdb922ddfaa5a55ddbe1102
prefer sys.env from scala 2.9;

diff -r 07a32140ce0d -r cab79d456044 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Thu Jul 05 16:03:09 2012 +0200
+++ b/src/Pure/System/isabelle_system.scala	Thu Jul 05 16:11:33 2012 +0200
@@ -50,8 +50,7 @@
       val standard_system = new Standard_System
       val settings =
       {
-        val env0 = Map(System.getenv.toList: _*) +
-          ("ISABELLE_JDK_HOME" -> standard_system.this_jdk_home())
+        val env0 = sys.env + ("ISABELLE_JDK_HOME" -> standard_system.this_jdk_home())
 
         val user_home = System.getProperty("user.home")
         val env =