diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/scripts/ci_build.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 295b85123..2431b865e 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -77,6 +77,9 @@ 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': + flags += ['--single-amalgamation-file'] + if target in ['bsi', 'nist']: # Arbitrarily test disable static on module policy builds # tls is optional for bsi/nist but add it so verify tests work with these minimized configs |