diff options
author | 2016-01-08 13:27:47 -0800 | |
---|---|---|
committer | 2016-01-08 13:27:47 -0800 | |
commit | 7f34c783c4735ce16c22cd4c92d989d4bb0e2822 (patch) | |
tree | 90b09cb2d7685d163d11fdf73d8a7b037bfc39e0 | |
parent | c8bfa7ce891ba0c58d6285a595e6d21689323f98 (diff) | |
parent | 169006688a791f0fb402b100c55bfb73950b5a3a (diff) |
Merge pull request #4645 from ctiller/coveralls
Refine coverage language list
-rwxr-xr-x | tools/run_tests/run_tests.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index 669d2e91f4..0de20a634a 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -726,9 +726,11 @@ if 'all' in args.language: lang_list = _LANGUAGES.keys() else: lang_list = args.language -# We don't support code coverage on ObjC -if 'gcov' in args.config and 'objc' in lang_list: - lang_list.remove('objc') +# We don't support code coverage on some languages +if 'gcov' in args.config: + for bad in ['objc', 'sanity', 'build']: + if bad in lang_list: + lang_list.remove(bad) languages = set(_LANGUAGES[l] for l in lang_list) |