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 check: allow to remove bad directories;
authorwenzelm
Thu, 01 Dec 2022 11:36:45 +0100
changeset 76551 c7996b073524
parent 76550 a82fc7755ba5
child 76552 13fde66c7cf6
clarified check: allow to remove bad directories;
src/Pure/System/components.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/components.scala	Thu Dec 01 11:32:59 2022 +0100
+++ b/src/Pure/System/components.scala	Thu Dec 01 11:36:45 2022 +0100
@@ -180,7 +180,7 @@
 
   def update_components(add: Boolean, path0: Path, progress: Progress = new Progress): Unit = {
     val path = path0.expand.absolute
-    Directory(path).check
+    if (add) Directory(path).check
 
     val lines1 = read_components()
     val lines2 =
isabelle