diff -r ede77a627b3a -r fda4da0f80f4 src/Pure/General/rsync.scala
--- 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 "") +