diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index 65596dea7f8136dd38e28c82d0b2a3d0415c07e1..0a5625c3f5bd91337c686d90de8147ee6c7f507d 100755 --- a/tools/run_tests/run_tests.py +++ b/tools/run_tests/run_tests.py @@ -892,7 +892,7 @@ for l in languages: language_make_options=[] if any(language.make_options() for language in languages): - if len(languages) != 1: + if not 'gcov' in args.config and len(languages) != 1: print 'languages with custom make options cannot be built simultaneously with other languages' sys.exit(1) else: