mozilla/rust — pull request #13272 by ipetkov (2014-04-03 03:05:50+00:00)
Title: Fix #12939: reporting of ignored tests in rustdoc

librustdoc: instead of skipping ignored tests, pass them to libtest and
let it sort out which tests to actually run

libtest: all tests filtered out either via `ignored` flag or the test
opts is considered `ignored`, and their count is reported as such at
the end of the test suite.

Fix #12939