author | wenzelm |
Sat, 04 Oct 2008 16:05:15 +0200 | |
changeset 28501 | 4a6c9881adc0 |
parent 28500 | 4b79e5d3d0aa |
child 28502 | 6b0e3e4e1891 |
--- a/src/Pure/Tools/isabelle_process.scala Sat Oct 04 16:05:09 2008 +0200 +++ b/src/Pure/Tools/isabelle_process.scala Sat Oct 04 16:05:15 2008 +0200 @@ -356,8 +356,8 @@ /* exec process */ try { - val cmdline = List(IsabelleSystem.getenv_strict("ISABELLE_HOME") + - "/bin/isabelle-process", "-W", message_fifo) ++ args + val cmdline = + List(IsabelleSystem.getenv_strict("ISABELLE_PROCESS"), "-W", message_fifo) ++ args proc = IsabelleSystem.exec2(cmdline: _*) } catch {