Version française
Home     About     Download     Resources     Contact us    
Browse thread
vacuous findlib warnings
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Sam Steingold <sds@g...>
Subject: vacuous findlib warnings
Hi,

I see findlib warnings like this:
findlib: [WARNING] Interface qbase.cmi occurs in several directories: 
../../lib, .
this is because there is indeed ../../lib/qbase.cmi which is a symbolic 
link pointing to ./qbase.cmi (so there is no real duplication, the files 
point to the same inode).

Is it possible to modify findlib to check that the files are really 
different disk objects (inodes) before issuing the warning?

What is the right place to report bugs/ask for improvements in findlib?

thanks
Sam