Re: Latest Git Fails tools/install

[Juan Lang]

> If you run configure again it is gone at least.

You're right, that fixed it for me too.  Thanks.
--Juan