diff options
| author | Jack Lloyd <[email protected]> | 2019-07-05 07:18:51 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2019-07-05 07:18:51 -0400 |
| commit | 51d9595d6842747c7723a5ebb4ac43054bed4e2a (patch) | |
| tree | e0bedcc332459f29f5d116a7b01595a3406d42cc /src/scripts | |
| parent | 5eaac0dbac983b8ea87586fa9f84682a6194391e (diff) | |
| parent | ece3587979b8b3c25645161acc0d4f280adbfc4c (diff) | |
Merge GH #2020 Remove BearSSL provider
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/test_all_configs.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/scripts/test_all_configs.py b/src/scripts/test_all_configs.py index e0950e08f..53bd313b6 100755 --- a/src/scripts/test_all_configs.py +++ b/src/scripts/test_all_configs.py @@ -24,7 +24,6 @@ def get_module_list(configure_py): raise Exception("Running configure.py --list-modules failed") modules = [s.decode('ascii') for s in stdout.split()] - modules.remove('bearssl') # can't test modules.remove('tpm') # can't test modules.remove('base') # can't remove return modules |