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 75493 f775dfb55655
parent 75487 167660a8f99e
child 75499 c635368021b6 
--- a/src/Pure/System/isabelle_system.scala	Mon May 30 11:34:25 2022 +0200
+++ b/src/Pure/System/isabelle_system.scala	Mon May 30 11:51:34 2022 +0200
@@ -433,7 +433,7 @@
     val script =
       "rsync --protect-args --archive" +
         (if (verbose || dry_run) " --verbose" else "") +
-        (if (thorough) " --ignore-times" else "") +
+        (if (thorough) " --ignore-times" else " --omit-dir-times") +
         (if (dry_run) " --dry-run" else "") +
         (if (clean) " --delete-excluded" else "") +
         filter.map(s => " --filter=" + Bash.string(s)).mkString +
isabelle