--- a/src/Pure/System/isabelle_system.scala Mon Jan 04 22:35:32 2010 +0100
+++ b/src/Pure/System/isabelle_system.scala Mon Jan 04 22:43:07 2010 +0100
@@ -42,8 +42,7 @@
if (Platform.is_windows) List(platform_root + "\\bin\\bash", "-l") else Nil
val cmdline =
shell_prefix ::: List(isabelle_home + "/bin/isabelle", "getenv", "-d", dump.toString)
- val (output, rc) =
- Standard_System.process_output(Standard_System.raw_execute(null, env0, true, cmdline: _*))
+ val (output, rc) = Standard_System.raw_exec(null, env0, true, cmdline: _*)
if (rc != 0) error(output)
val entries =