changeset 63996 | 3f47fec9edfc |
parent 63805 | c272680df665 |
child 64304 | 96bc94c87a81 |
--- a/src/Pure/System/bash.scala Sun Oct 02 17:05:48 2016 +0200 +++ b/src/Pure/System/bash.scala Sun Oct 02 19:36:57 2016 +0200 @@ -33,7 +33,7 @@ cleanup: () => Unit = () => ()): Process = new Process(script, cwd, env, redirect, cleanup) - class Process private [Bash]( + class Process private[Bash]( script: String, cwd: JFile, env: Map[String, String],