diff options
author | Jack Lloyd <[email protected]> | 2020-03-15 08:00:08 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2020-03-15 08:00:08 -0400 |
commit | fe9465577388d4a6fd10758cb12d50f3986875d1 (patch) | |
tree | b3ae5a889212ec6c055895d71dc6a63b7886deea /src/scripts | |
parent | 8b83aac3c49908505b6e2cfa244f918868b5e297 (diff) |
Fix build targets
of just using that as the default for non shared/static builds.
Diffstat (limited to 'src/scripts')
-rwxr-xr-x | src/scripts/ci_build.py | 8 |
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' |