diff options
Diffstat (limited to 'src/scripts/ci_build.py')
| -rwxr-xr-x | src/scripts/ci_build.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 84deec8be..72e9d8e62 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -104,10 +104,7 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, ccache, ro flags += ['--disable-modules=locking_allocator'] if target == 'parallel': - if target_cc == 'gcc': - flags += ['--with-cilkplus'] - else: - flags += ['--with-openmp'] + flags += ['--with-openmp'] if target == 'sonar': if target_os != 'linux' or target_cc != 'clang': |