diff options
| -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 2431b865e..c5b00579c 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -77,7 +77,7 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, ccache, ro # much faster compiling via the amalgamation than individual files. flags += ['--amalgamation'] - if target_cc == 'gcc': + if target_cc == 'clang': flags += ['--single-amalgamation-file'] if target in ['bsi', 'nist']: |