On Fri, May 8, 2015 at 5:09 PM, Richard Cochran <richardcochran at gmail.com> wrote: > I specifically did 'make build' in order to avoid the tests, but the > build system compiles the tests anyhow. The 'build' target includes tests. Try the 'build-nocheck' target. Regards, Andras