On Apr 24, 2013, at 5:10 AM, Jacek Caban wrote: > On 04/24/13 11:35, Frédéric Delanoy wrote: > >> Although, one can sort/filter by file, or if it's really that >> annoying, a quick script removing <tr> elements containing "/tests" >> should be easy enough. > > Well... that's far from perfect, but could work.
Would it work to do two runs and have two different result sets? I think that "make install" rather than "make" avoids building the tests without requiring --disable-tests. (You can set DESTDIR to some temp directory in your home or /tmp.) After that, a plain "make" will make just the tests. -Ken
