ISABELLE_PROCESS commandline;
authorwenzelm
Sat Oct 04 16:05:15 2008 +0200 (2008-10-04 ago)
changeset 285014a6c9881adc0
parent 28500 4b79e5d3d0aa
child 28502 6b0e3e4e1891
ISABELLE_PROCESS commandline;
src/Pure/Tools/isabelle_process.scala
     1.1 --- a/src/Pure/Tools/isabelle_process.scala	Sat Oct 04 16:05:09 2008 +0200
     1.2 +++ b/src/Pure/Tools/isabelle_process.scala	Sat Oct 04 16:05:15 2008 +0200
     1.3 @@ -356,8 +356,8 @@
     1.4      /* exec process */
     1.5  
     1.6      try {
     1.7 -      val cmdline = List(IsabelleSystem.getenv_strict("ISABELLE_HOME") +
     1.8 -          "/bin/isabelle-process", "-W", message_fifo) ++ args
     1.9 +      val cmdline =
    1.10 +        List(IsabelleSystem.getenv_strict("ISABELLE_PROCESS"), "-W", message_fifo) ++ args
    1.11        proc = IsabelleSystem.exec2(cmdline: _*)
    1.12      }
    1.13      catch {