Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified signature;
authorwenzelm
Sun, 29 May 2022 13:06:30 +0200
changeset 75473 d7035cfa1f14
parent 75472 ff6d4b48f23b
child 75474 d16dd2d1b50a
clarified signature;
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_system.scala	Sun May 29 11:45:32 2022 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sun May 29 13:06:30 2022 +0200
@@ -430,7 +430,7 @@
   ): Process_Result = {
     val script =
       "rsync --protect-args --archive" +
-        (if (verbose) " --verbose" else "") +
+        (if (verbose || dry_run) " --verbose" else "") +
         (if (dry_run) " --dry-run" else "") +
         (if (clean) " --delete-excluded" else "") +
         (if (args.nonEmpty) " " + Bash.strings(args) else "")
isabelle