diff options
| -rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index b6cba2d19..d28945d0c 100755 --- a/configure.py +++ b/configure.py @@ -336,7 +336,7 @@ def process_command_line(args): # pylint: disable=too-many-locals,too-many-state help='specify OS features to disable') isa_extensions = [ - 'SSE2', 'SSSE3', 'SSE4.1', 'SSE4.2', 'AVX2', + 'SSE2', 'SSSE3', 'SSE4.1', 'SSE4.2', 'AVX2', 'BMI2', 'RDRAND', 'RDSEED', 'AES-NI', 'SHA-NI', 'AltiVec', 'NEON', 'ARMv8Crypto'] |