X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2FdependenciesParser.ml;h=eb33e49b80d7b5f453dbadb433851f7de3e96556;hb=5da42f6120f3075c3da8ab3082ead39ea57955fa;hp=b7b4151fa3b5c47f874cd476f60012e9bcfe7f85;hpb=b531c938515b0ea6cb92df2e8732c587e0bc026b;p=helm.git diff --git a/helm/software/components/grafite_parser/dependenciesParser.ml b/helm/software/components/grafite_parser/dependenciesParser.ml index b7b4151fa..eb33e49b8 100644 --- a/helm/software/components/grafite_parser/dependenciesParser.ml +++ b/helm/software/components/grafite_parser/dependenciesParser.ml @@ -83,7 +83,9 @@ let make_absolute paths path = | p :: tl -> let path = p ^ "/" ^ path in try - ignore (Unix.stat path); path + ignore (Unix.stat path); + HLog.debug ("Including "^path^" with path: " ^ p); + path with Unix.Unix_error _ -> aux tl in try