changeset 35010 | d6e492cea6e4 |
parent 35006 | 1ea6dba95b49 |
child 35023 | 16f9877abf0b |
--- a/src/Pure/System/isabelle_system.scala Sat Feb 06 14:39:33 2010 +0100 +++ b/src/Pure/System/isabelle_system.scala Sat Feb 06 14:50:55 2010 +0100 @@ -162,7 +162,7 @@ /** system tools **/ - def system_out(script: String): (String, Int) = + def bash_output(script: String): (String, Int) = { Standard_System.with_tmp_file("isabelle_script") { script_file => Standard_System.with_tmp_file("isabelle_pid") { pid_file =>