diff options
author | Jack Lloyd <[email protected]> | 2017-09-08 22:07:08 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2017-09-08 22:07:08 -0400 |
commit | 2517304175511517a8675a36917ca80a9a02cd99 (patch) | |
tree | 51efcbad156e0e667dcd0e6ff788b188fe5cd858 /src/scripts | |
parent | 0e8808051824c14be6c0b171ca3fafe7b8f8e3fc (diff) |
Fix Sonar build
Diffstat (limited to 'src/scripts')
-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 52b476c15..bc4ea41e0 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -109,7 +109,7 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, ccache, ro flags += ['--with-openmp'] if target == 'sonar': - if os != 'linux': + if target_os != 'linux': raise Exception('Only Linux supported in Sonar target currently') make_prefix = [os.path.join(root_dir, 'build-wrapper-linux-x86/build-wrapper-linux-x86-64'), |