Hi Arnaud, I don't know if this has been raised before, but when Ada support is enabled, you can't selectively run only a part of the testsuite anymore. For example, issuing gmake -k check-gcc RUNTESTFLAGS="ecos.exp" normally should run only the tests commanded by the "ecos.exp" driver. But with Ada enabled, the whole Ada testsuite appears to be rerun. -- Eric Botcazou