diff options
| author | Jack Lloyd <[email protected]> | 2017-08-29 14:52:14 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-08-29 14:52:14 -0400 |
| commit | 6b216d6d16eb0cae4c850afa02f6d25e2f75496e (patch) | |
| tree | 9d78192ff16656d8a73a0a849f96f1d96cd82efa | |
| parent | f16c3df4fc4edc632bde4970a1ed00668e773571 (diff) | |
Revert f16c3df4fc4ed
Substantially more work required to get Sonar to report coverage
| -rwxr-xr-x | src/scripts/ci_build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 28b48a3dc..fcbc618c0 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -81,7 +81,7 @@ def determine_flags(target, target_os, target_cc, cc_bin, use_ccache, root_dir): flags += ['--with-doxygen', '--with-sphinx'] test_cmd = None - if target in ['coverage', 'sonar']: + if target == 'coverage': flags += ['--with-coverage-info'] if target == 'valgrind': flags += ['--with-valgrind'] |