Re: Strange "make check" error

[David Kastrup]

David Kastrup <address@hidden> writes:

> Cleaned everything out.  Baseline got rebuilt, same error.  Checking
> different patch (4360 instead of 4357), same error.
>
> I'll eventually do the "reboot computer" dance but I suspect that we got
> ourselves a problem with Ubuntu 15.04.

Well, either that, or with the latest changes in master.  But they
should have passed through some instance of Patchy too after all.  Or
doesn't the staging patchy do a "make check"?  Perhaps it only does
"make test"?  Because it is "make check" that appears to be newly
broken.

-- 
David Kastrup