aboutsummaryrefslogtreecommitdiffstats
path: root/src/scripts
diff options
context:
space:
mode:
authorJack Lloyd <[email protected]>2020-03-15 08:00:08 -0400
committerJack Lloyd <[email protected]>2020-03-15 08:00:08 -0400
commitfe9465577388d4a6fd10758cb12d50f3986875d1 (patch)
treeb3ae5a889212ec6c055895d71dc6a63b7886deea /src/scripts
parent8b83aac3c49908505b6e2cfa244f918868b5e297 (diff)
Fix build targets
of just using that as the default for non shared/static builds.
Diffstat (limited to 'src/scripts')
-rwxr-xr-xsrc/scripts/ci_build.py8
1 files changed, 6 insertions, 2 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py
index 8a53a5d0b..07c21bf74 100755
--- a/src/scripts/ci_build.py
+++ b/src/scripts/ci_build.py
@@ -31,9 +31,13 @@ def build_targets(target, target_os):
yield 'static'
return
- if target in ['shared', 'mini-shared', 'bsi', 'nist'] or target_os in ['windows']:
+ if target in ['shared', 'mini-shared', 'bsi', 'nist']:
yield 'shared'
- elif target in ['static', 'mini-static', 'fuzzers'] or target_os in ['ios', 'mingw']:
+ elif target in ['static', 'mini-static', 'fuzzers']:
+ yield 'static'
+ elif target_os in ['windows']:
+ yield 'shared'
+ elif target_os in ['ios', 'mingw']:
yield 'static'
else:
yield 'shared'