On 07/05/2013 04:51 PM, Vik Fearing wrote:> I tried to check this out, too and "make check" fails with the> following. I have not looked into the cause.
Running ./configure again fixed it. Sorry for the noise.