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/Tools/build.scala
changeset 73522 b219774a71ae
parent 73367 77ef8bef0593
child 73702 7202e12cb324 
--- a/src/Pure/Tools/build.scala	Wed Mar 31 21:44:29 2021 +0200
+++ b/src/Pure/Tools/build.scala	Wed Mar 31 22:10:56 2021 +0200
@@ -625,7 +625,7 @@
             sessions = sessions),
           presentation = presentation,
           progress = progress,
-          check_unknown_files = Mercurial.is_repository(Path.explode("~~")),
+          check_unknown_files = Mercurial.is_repository(Path.ISABELLE_HOME),
           build_heap = build_heap,
           clean_build = clean_build,
           dirs = dirs,
isabelle