--- a/src/Pure/System/isabelle_system.scala Sat Jan 02 00:08:47 2010 +0100
+++ b/src/Pure/System/isabelle_system.scala Sat Jan 02 01:14:49 2010 +0100
@@ -43,7 +43,7 @@
val cmdline =
shell_prefix ::: List(isabelle_home + "/bin/isabelle", "getenv", "-d", dump.toString)
val (output, rc) =
- Standard_System.process_output(Standard_System.raw_execute(env0, true, cmdline: _*))
+ Standard_System.process_output(Standard_System.raw_execute(null, env0, true, cmdline: _*))
if (rc != 0) error(output)
val entries =
@@ -66,7 +66,7 @@
val cmdline =
if (Platform.is_windows) List(platform_root + "\\bin\\env.exe") ++ args
else args
- Standard_System.raw_execute(environment, redirect, cmdline: _*)
+ Standard_System.raw_execute(null, environment, redirect, cmdline: _*)
}