--- a/src/Pure/System/isabelle_system.scala Thu Aug 06 22:54:22 2020 +0200
+++ b/src/Pure/System/isabelle_system.scala Thu Aug 06 22:58:18 2020 +0200
@@ -339,12 +339,11 @@
redirect: Boolean = false,
progress_stdout: String => Unit = (_: String) => (),
progress_stderr: String => Unit = (_: String) => (),
- progress_limit: Option[Long] = None,
strict: Boolean = true,
cleanup: () => Unit = () => ()): Process_Result =
{
Bash.process(script, cwd = cwd, env = env, redirect = redirect, cleanup = cleanup).
- result(progress_stdout, progress_stderr, progress_limit, strict)
+ result(progress_stdout, progress_stderr, strict)
}
def jconsole(): Process_Result =