diff options
Diffstat (limited to 'configure.json')
| -rw-r--r-- | configure.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.json b/configure.json index 7f44a54670..1bd7364cb7 100644 --- 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" }, |