diff options
| author | Jack Lloyd <[email protected]> | 2018-01-04 10:40:05 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-01-04 10:40:16 -0500 |
| commit | 8c781b9be8b98ccbe03e2cfd419026b3ccc9e96a (patch) | |
| tree | dff5e09d6ce14c5482c2d6fe97fc760176a21643 /configure.py | |
| parent | 20485157e131ca5cc8536bf0b88bdf3da806c473 (diff) | |
Add ability to disable use of SHA intrinsics [ci skip]
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 1e8f916dd..c88bb8157 100755 --- a/configure.py +++ b/configure.py @@ -329,7 +329,7 @@ def process_command_line(args): # pylint: disable=too-many-locals target_group.add_option('--without-os-features', action='append', metavar='FEAT', help='specify OS features to disable') - for isa_extn_name in ['SSE2', 'SSSE3', 'SSE4.1', 'SSE4.2', 'AVX2', 'AES-NI', 'AltiVec', 'NEON']: + for isa_extn_name in ['SSE2', 'SSSE3', 'SSE4.1', 'SSE4.2', 'AVX2', 'AES-NI', 'SHA', 'AltiVec', 'NEON']: isa_extn = isa_extn_name.lower() target_group.add_option('--disable-%s' % (isa_extn), |