quick fix to make read-only baseuri non compiled but considered successful

diff --git a/helm/software/components/library/librarian.ml b/helm/software/components/library/librarian.ml
index 6cedc0101a4aee756897d198b2d605128139fac9..4c222b0b936692fa0d22a76f0d0739c861f195dd 100644 (file)
--- a/helm/software/components/library/librarian.ml
+++ b/helm/software/components/library/librarian.ml
@@ -420,7 +420,10 @@ module Make = functor (F:Format) -> struct
                   let res = F.build lo t in
                   time_stamp ("L : DONE     " ^ str); res
                end else begin
-                  HLog.warn("Read only baseuri for: "^ str); false
+                   Hashtbl.remove ct tgt;
+                   Hashtbl.add ct tgt None;
+                  HLog.warn("Read only baseuri for: "^ str^
+                     ", assuming it is aleary built."); true
                end
              | Some froot -> make froot [t]
              | None ->