diff options
author | Nathan Bossart | 2024-11-07 21:27:32 +0000 |
---|---|---|
committer | Nathan Bossart | 2024-11-07 21:27:32 +0000 |
commit | 41b98ddb77bf49433f174f03383533dd09bdefec (patch) | |
tree | cc2151f6d5e4f1c7cec2efcf1a461f770a5cd2da /configure | |
parent | f78667bd910ed5af90d927bbef30b181bc798ef7 (diff) |
Fix __attribute__((target(...))) usage.
The commonly supported way to specify multiple target options is to
surround the entire list with quotes and to use a comma (with no
extra spaces) as the delimiter.
Oversight in commit f78667bd91.
Discussion: https://postgr.es/m/Zy0jya8nF8CPpv3B%40nathan
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure index 3a7332f8349..4b01b682b15 100755 --- a/configure +++ b/configure @@ -17324,7 +17324,7 @@ else /* end confdefs.h. */ #include <immintrin.h> #if defined(__has_attribute) && __has_attribute (target) - __attribute__((target("avx512vpopcntdq","avx512bw"))) + __attribute__((target("avx512vpopcntdq,avx512bw"))) #endif static int popcount_test(void) { |