src/Pure/System/components.scala

--- 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 =