equal
deleted
inserted
replaced
67 script: String, |
67 script: String, |
68 cwd: JFile, |
68 cwd: JFile, |
69 env: Map[String, String], |
69 env: Map[String, String], |
70 redirect: Boolean, |
70 redirect: Boolean, |
71 cleanup: () => Unit) |
71 cleanup: () => Unit) |
72 extends Prover.System_Process |
|
73 { |
72 { |
74 private val timing_file = Isabelle_System.tmp_file("bash_timing") |
73 private val timing_file = Isabelle_System.tmp_file("bash_timing") |
75 private val timing = Synchronized[Option[Timing]](None) |
74 private val timing = Synchronized[Option[Timing]](None) |
76 |
75 |
77 private val script_file = Isabelle_System.tmp_file("bash_script") |
76 private val script_file = Isabelle_System.tmp_file("bash_script") |