changeset 62604 | 7f325faed9f7 |
parent 62602 | 96e679f042ec |
child 62610 | 4c89504c76fb |
--- a/src/Pure/System/bash.scala Sat Mar 12 22:02:36 2016 +0100 +++ b/src/Pure/System/bash.scala Sat Mar 12 22:11:09 2016 +0100 @@ -41,7 +41,7 @@ cleanup: () => Unit) extends Prover.System_Process { - private val timing_file = Isabelle_System.tmp_file("bash_script") + private val timing_file = Isabelle_System.tmp_file("bash_timing") private val timing = Synchronized[Option[Timing]](None) private val script_file = Isabelle_System.tmp_file("bash_script")