diff options
| author | Jack Lloyd <[email protected]> | 2017-08-02 16:53:38 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-08-02 16:53:38 -0400 |
| commit | 230b7ad5a259631dba617aba596ce7619a24ca17 (patch) | |
| tree | 36a2141cc63d3715d3c7c654eebe3fcf291ad182 /configure.py | |
| parent | 5a9b5c2c2f32909ab7963307291827ed7bd2d102 (diff) | |
| parent | 825c23811f480d3c3646ded125c9e7b7dc9feb8f (diff) | |
Merge GH #1094 Add initial BearSSL provider
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index c123b248d..1afdb4a5f 100755 --- a/configure.py +++ b/configure.py @@ -432,7 +432,7 @@ def process_command_line(args): # pylint: disable=too-many-locals help='minimize build') # Should be derived from info.txt but this runs too early - third_party = ['boost', 'bzip2', 'lzma', 'openssl', 'sqlite3', 'zlib', 'tpm'] + third_party = ['bearssl', 'boost', 'bzip2', 'lzma', 'openssl', 'sqlite3', 'zlib', 'tpm'] for mod in third_party: mods_group.add_option('--with-%s' % (mod), |