--- a/src/Pure/System/isabelle_system.scala Sun Jun 05 20:16:48 2022 +0200
+++ b/src/Pure/System/isabelle_system.scala Mon Jun 06 16:06:22 2022 +0200
@@ -421,7 +421,6 @@
}
def rsync(
- cwd: JFile = null,
progress: Progress = new Progress,
port: Int = SSH.default_port,
verbose: Boolean = false,
@@ -443,7 +442,7 @@
(if (list) " --list-only --no-human-readable" else "") +
filter.map(s => " --filter=" + Bash.string(s)).mkString +
(if (args.nonEmpty) " " + Bash.strings(args) else "")
- progress.bash(script, cwd = cwd, echo = true)
+ progress.bash(script, echo = true)
}
def rsync_dir(target: String): String = {