I have removed this file and it seems everything works after that.
Happy hacking,
Kakadu
On Tue, Jun 24, 2014 at 7:47 PM, Ashish Agarwal <agarwal1975@gmail.com> wrote:
> Is there some way to silence the following:
>
> [WARNING] Interface topdirs.cmi occurs in several directories: ...
>
> None of the warning flags seem to affect this.
>