aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorJack Lloyd <[email protected]>2018-10-05 19:28:55 -0400
committerJack Lloyd <[email protected]>2018-10-05 19:28:55 -0400
commitc215957d7f2bb3607543fcc1f5625548fef2b44d (patch)
tree7005fab491b8e13fb46fe40acd2246030c004cba /src
parentb33bbea06f4b35d65dfef52e5da9abd0bb18ab19 (diff)
Test single amalgamation file
Would have detected #1700 before release.
Diffstat (limited to 'src')
-rwxr-xr-xsrc/scripts/ci_build.py3
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