--- a/src/Pure/General/rsync.scala Sun Mar 05 15:25:02 2023 +0100
+++ b/src/Pure/General/rsync.scala Sun Mar 05 15:34:00 2023 +0100
@@ -24,7 +24,6 @@
def exec(
context: Context,
- verbose: Boolean = false,
thorough: Boolean = false,
prune_empty_dirs: Boolean = false,
dry_run: Boolean = false,
@@ -36,7 +35,7 @@
val progress = context.progress
val script =
context.command +
- (if (verbose) " --verbose" else "") +
+ (if (progress.verbose) " --verbose" else "") +
(if (thorough) " --ignore-times" else " --omit-dir-times") +
(if (prune_empty_dirs) " --prune-empty-dirs" else "") +
(if (dry_run) " --dry-run" else "") +