Brad King 589b4265a6 BUG: Do not produce empty coverage log files
This moves the filtering of source files to before the production of
coverage log files in order to avoid producing a CoverageLog-*.xml file
for 100 filtered-out files.  The change greatly reduces the number of
submitted coverage files when using label filters.
2009-03-11 13:31:40 -04:00
..
2009-02-24 09:34:03 -05:00
2009-03-11 00:01:03 -04:00
2009-03-10 11:11:15 -04:00
2007-07-27 10:55:24 -04:00
2007-07-27 10:55:24 -04:00
2007-03-05 10:36:06 -05:00
2007-09-24 11:16:13 -04:00
2007-07-27 10:55:24 -04:00
2007-03-05 10:36:06 -05:00
2008-10-03 08:16:37 -04:00
2007-07-20 08:36:16 -04:00
2009-02-16 13:56:04 -05:00
2008-05-20 12:15:40 -04:00
2009-01-23 12:20:09 -05:00
2008-08-25 10:31:29 -04:00
2008-08-25 10:31:29 -04:00
2008-08-25 10:31:29 -04:00