24 Apr
2013
24 Apr
'13
10:28 a.m.
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