On Jun 12, 2013, at 9:18 AM, Stefano Lattarini <stefano.lattar...@gmail.com> wrote:
> Hi Jeff. Thanks for the report, but I don't think there is a real > bug here. Short version: yes, you're right; with your suggestion, I did more testing (via "make distcheck" rather than checking for "depmod" in the Makefile.in) and found that one of our developers made an error in one of our Makefile.am's that was causing the badness. Sorry for the noise! -- Jeff Squyres jsquy...@cisco.com For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/