diff options
| author | Jack Lloyd <[email protected]> | 2017-08-29 12:42:17 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-08-29 12:42:17 -0400 |
| commit | f16c3df4fc4edc632bde4970a1ed00668e773571 (patch) | |
| tree | 9c7aa652fe23b30c203e02bf051c7d9e2c4db886 /src | |
| parent | 07a06b06e8c37268e0fbdeb49184421fddf115e9 (diff) | |
Seems Sonar wants coverage info
Diffstat (limited to 'src')
| -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 fcbc618c0..28b48a3dc 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 == 'coverage': + if target in ['coverage', 'sonar']: flags += ['--with-coverage-info'] if target == 'valgrind': flags += ['--with-valgrind'] |