# HG changeset patch # User wenzelm # Date 1440172794 -7200 # Node ID 65cbc1abfc549a10ecf9425914f24fa254cc47f2 # Parent 25e8efae71d7323c977d6b0dd023a3f0943b12bb eliminated WinRun4J artifact; tuned; diff -r 25e8efae71d7 -r 65cbc1abfc54 src/Pure/Tools/main.scala --- a/src/Pure/Tools/main.scala Fri Aug 21 17:53:10 2015 +0200 +++ b/src/Pure/Tools/main.scala Fri Aug 21 17:59:54 2015 +0200 @@ -225,23 +225,11 @@ { val isabelle_home = Isabelle_System.getenv("ISABELLE_HOME") val isabelle_home_user = Isabelle_System.getenv("ISABELLE_HOME_USER") - val upd = - if (Platform.is_windows) - List( - "ISABELLE_HOME" -> File.platform_path(isabelle_home), - "ISABELLE_HOME_USER" -> File.platform_path(isabelle_home_user), - "INI_DIR" -> "") - else - List( - "ISABELLE_HOME" -> isabelle_home, - "ISABELLE_HOME_USER" -> isabelle_home_user) (env0: Any) => { val env = env0.asInstanceOf[java.util.Map[String, String]] - upd.foreach { - case (x, "") => env.remove(x) - case (x, y) => env.put(x, y) - } + env.put("ISABELLE_HOME", File.platform_path(isabelle_home)) + env.put("ISABELLE_HOME_USER", File.platform_path(isabelle_home_user)) } }