added a warning when a file is not compiled cause its buri is readonly

diff --git a/helm/software/components/library/librarian.ml b/helm/software/components/library/librarian.ml
index 376c8064974c73927258ebd913d55a8b16ca001c..da51369348d16ccb71c4894a477841f12fbe7b57 100644 (file)
--- a/helm/software/components/library/librarian.ml
+++ b/helm/software/components/library/librarian.ml
@@ -300,8 +300,12 @@ module Make = functor (F:Format) -> struct
       let local, remote =
         List.partition (fun (_,_,froot,_) -> froot = Some root) todo
       in
-      let local = List.filter (is_not_ro opts) local in
-       remote @ local
+      let local, skipped = List.partition (is_not_ro opts) local in
+      List.iter 
+       (fun x -> 
+        HLog.warn("Read only baseuri for: "^F.string_of_source_object(fst4 x)))
+       skipped;
+      remote @ local
     in
     if todo <> [] then
       let compiled, failed =