John, > This looks like a build issue related to your Linux distro. Please raise > a bug report at http://bugs.ecos.sourceware.org and include the above > error message plus the output of "gcc -v" and "uname -a".
The bug has been filed. Bug 1001139 - 'make tests' fails for linux synthetic target Thank you, -- Mike
