aboutsummaryrefslogtreecommitdiffstats
path: root/src/scripts
diff options
context:
space:
mode:
authorJack Lloyd <[email protected]>2017-11-30 23:41:25 -0500
committerJack Lloyd <[email protected]>2017-11-30 23:41:25 -0500
commit20821ec08da3bb5c1431a633b0e7d46e744971f4 (patch)
tree053fe988fbc51a57b091da854a561597c4ba0a6d /src/scripts
parentf9b7b4df49b28ead21b1919597811f3968c1f843 (diff)
Add ability to disable static library build
Diffstat (limited to 'src/scripts')
-rwxr-xr-xsrc/scripts/ci_build.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py
index b4ae98a0a..84deec8be 100755
--- a/src/scripts/ci_build.py
+++ b/src/scripts/ci_build.py
@@ -73,7 +73,8 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, ccache, ro
flags += ['--amalgamation']
if target in ['bsi', 'nist']:
- flags += ['--module-policy=%s' % (target)]
+ # Arbitrarily test disable static on module policy builds
+ flags += ['--module-policy=%s' % (target), '--disable-static']
if target == 'docs':
flags += ['--with-doxygen', '--with-sphinx']