aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
diff options
context:
space:
mode:
authorGravatar Craig Tiller <craig.tiller@gmail.com>2016-01-07 19:30:54 -0800
committerGravatar Craig Tiller <craig.tiller@gmail.com>2016-01-07 19:30:54 -0800
commit169006688a791f0fb402b100c55bfb73950b5a3a (patch)
tree7457bed0c3b02966803f9dc2e74333e3be3c322a /tools
parentabf85d96481a35d26ecfd16575f0a13846d3b8e5 (diff)
Refine coverage language list
Diffstat (limited to 'tools')
-rwxr-xr-xtools/run_tests/run_tests.py8
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)