Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_system.scala
changeset 75509 b22228173915
parent 75507 a5e0f1c66c26
child 75510 0106c89fb71f 
--- a/src/Pure/System/isabelle_system.scala	Wed Jun 01 10:07:00 2022 +0200
+++ b/src/Pure/System/isabelle_system.scala	Wed Jun 01 10:10:42 2022 +0200
@@ -433,7 +433,7 @@
   ): Process_Result = {
     val script =
       "rsync --protect-args --archive --rsh=" + Bash.string("ssh -p " + port) +
-        (if (verbose || dry_run) " --verbose" else "") +
+        (if (verbose) " --verbose" else "") +
         (if (thorough) " --ignore-times" else " --omit-dir-times") +
         (if (dry_run) " --dry-run" else "") +
         (if (clean) " --delete-excluded" else "") +
isabelle