diff options
author | Jack Lloyd <[email protected]> | 2019-03-24 13:29:15 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2019-03-24 13:29:15 -0400 |
commit | 381a67df0a2209c81d81830dba8eefb921c0a2c9 (patch) | |
tree | 16360d9b6b9be7016933e5b9c4e3532d5f5101bb /src/scripts | |
parent | b6269d97f17b344b8a98c65623451f314066785c (diff) |
Now getentropy is used by default, remove from CI script
Diffstat (limited to 'src/scripts')
-rwxr-xr-x | src/scripts/ci_build.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index f0267346a..ddbd79877 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -192,10 +192,6 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, ccache, ro if target_os == 'osx' or target == 'coverage': flags += ['--with-boost'] - if target_os == 'osx': - # Travis has 10.12 as default image - flags += ['--with-os-features=getentropy'] - if target_os == 'linux': flags += ['--with-lzma'] |