diff options
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/ci_build.py | 3 |
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'] |