summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorNathan Bossart2024-11-07 21:27:32 +0000
committerNathan Bossart2024-11-07 21:27:32 +0000
commit41b98ddb77bf49433f174f03383533dd09bdefec (patch)
treecc2151f6d5e4f1c7cec2efcf1a461f770a5cd2da /configure
parentf78667bd910ed5af90d927bbef30b181bc798ef7 (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-xconfigure2
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)
{