diff options
author | Craig Tiller <craig.tiller@gmail.com> | 2016-01-07 19:30:54 -0800 |
---|---|---|
committer | Craig Tiller <craig.tiller@gmail.com> | 2016-01-07 19:30:54 -0800 |
commit | 169006688a791f0fb402b100c55bfb73950b5a3a (patch) | |
tree | 7457bed0c3b02966803f9dc2e74333e3be3c322a /tools | |
parent | abf85d96481a35d26ecfd16575f0a13846d3b8e5 (diff) |
Refine coverage language list
Diffstat (limited to 'tools')
-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 857e7b5f5d..bbee5c9157 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) |