diff options
| author |  Adele Zhou <adelez@google.com> | 2016-05-18 17:04:20 -0700 |
|---|---|---|
| committer | Adele Zhou <adelez@google.com> | 2016-05-19 11:32:02 -0700 |
| commit | 3b6ab81daf7c312d980c8950757460567f8832ec (patch) | |
| tree | dc3bc5464deb3e59a1d7596e9638484371a9cf47 /tools/run_tests/run_tests.py | |
| parent | 10ff0de2e96c0819b1ca86d27ffdaa63cc6516f8 (diff) | |
Fix code coverage.
Diffstat (limited to 'tools/run_tests/run_tests.py')
| -rwxr-xr-x | tools/run_tests/run_tests.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/run_tests/run_tests.py b/tools/run_tests/run_tests.py index 65596dea7f..0a5625c3f5 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: |