diff options
author | Oswald Buddenhagen <oswald.buddenhagen@theqtcompany.com> | 2016-06-30 15:19:23 +0200 |
---|---|---|
committer | Oswald Buddenhagen <oswald.buddenhagen@theqtcompany.com> | 2016-07-08 13:03:13 +0000 |
commit | 4a52b5cb3309fdbef3f590a5777e59257287b62e (patch) | |
tree | bdb001c5209d12bbee2564251c7556b56a37f53f /configure.json | |
parent | a15b9d3910279101b29967ea01b81d89010c81e3 (diff) |
fix command line option for avx512
we need to map it to the avx512f feature.
Change-Id: I565b5bd256003aa6f80180b0e06c04bad8ea68af
Reviewed-by: Oswald Buddenhagen <oswald.buddenhagen@theqtcompany.com>
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" }, |