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/General/ssh.scala
changeset 69303 51d8b4dbc61b
parent 69302 5faf57207a9b
child 69393 ed0824ef337e 
--- a/src/Pure/General/ssh.scala	Wed Nov 14 20:51:14 2018 +0100
+++ b/src/Pure/General/ssh.scala	Wed Nov 14 20:59:53 2018 +0100
@@ -395,8 +395,8 @@
 
       def find(dir: Path)
       {
+        if (include_dirs) check(dir)
         if (follow_links || !is_link(dir)) {
-          if (include_dirs) check(dir)
           for (entry <- read_dir(dir)) {
             val path = dir + Path.basic(entry.name)
             if (entry.is_file) check(path) else find(path)
isabelle