--- a/src/Pure/System/isabelle_system.scala Sat Oct 15 16:35:50 2016 +0200
+++ b/src/Pure/System/isabelle_system.scala Sat Oct 15 19:08:32 2016 +0200
@@ -133,11 +133,12 @@
/* getenv */
- def getenv(name: String): String = settings().getOrElse(name, "")
+ def getenv(name: String, env: Map[String, String] = settings()): String =
+ env.getOrElse(name, "")
- def getenv_strict(name: String): String =
+ def getenv_strict(name: String, env: Map[String, String] = settings()): String =
{
- val value = getenv(name)
+ val value = getenv(name, env)
if (value != "") value
else error("Undefined Isabelle environment variable: " + quote(name))
}