Never mind; I thought make implied make check, but I'm wrong.