diff options
| author | Jack Lloyd <[email protected]> | 2018-10-06 13:35:16 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-10-06 13:35:16 -0400 |
| commit | aa2091357c08c0b49ddf4bedb80168add984feb6 (patch) | |
| tree | 3595008800315a4fedeff03bdd056ffda087204c | |
| parent | c215957d7f2bb3607543fcc1f5625548fef2b44d (diff) | |
GCC in Travis is too old (doesn't have ISA attribute)
| -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']: |