diff options
| author | Jack Lloyd <[email protected]> | 2017-08-29 07:59:57 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-08-29 07:59:57 -0400 |
| commit | d6b6c30d7640d690d96b974db6cb12a2f2d43f38 (patch) | |
| tree | 4ba0bb42c4c2094b6f52ee7dce6a1f3497164b01 /src/scripts/ci_build.py | |
| parent | bba595315a9a3b3f024d4a1aed5b8e6fa38a0c56 (diff) | |
Rename (and fix) Sonar target
Diffstat (limited to 'src/scripts/ci_build.py')
| -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 e35315bd3..3f9c15da6 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -96,7 +96,7 @@ def determine_flags(target, target_os, target_cc, cc_bin, use_ccache, root_dir): else: flags += ['--with-openmp'] - if target == 'sonarqube': + if target == 'sonar': make_prefix = [os.path.join(root_dir, 'build-wrapper-linux-x86/build-wrapper-linux-x86-64'), '--out-dir', 'bw-outputs'] test_cmd = ['sonar-scanner', |