fix command line option for avx512

we need to map it to the avx512f feature. Change-Id: I565b5bd256003aa6f80180b0e06c04bad8ea68af Reviewed-by: Oswald Buddenhagen <[email protected]>
wx984490083 · Jul 8, 2016 · 4a52b5c · 4a52b5c
1 parent a15b9d3
commit 4a52b5c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/configure.json b/configure.json
@@ -44,7 +44,7 @@
             "audio-backend": "boolean",
             "avx": "boolean",
             "avx2": "boolean",
-            "avx512": "boolean",
+            "avx512": { "type": "boolean", "name": "avx512f" },
             "c++std": "cxxstd",
             "commercial": "void",
             "compile-examples": { "type": "boolean", "name": "compile_examples" },