diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-09-12 18:19:13 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-09-12 18:19:13 +0200 |
commit | 9756eb66349f8a96fffd788894f198041847c727 (patch) | |
tree | c2a988299f2f4648ad52c691920b3122659fed65 /git@git.thomasvoss.com:pinocchio | |
parent | 8a5ea0833a6428f2ed783693c7572bfdd88aa9d5 (diff) |
Fix check for __builtin_popcountg()
Diffstat (limited to 'git@git.thomasvoss.com:pinocchio')
0 files changed, 0 insertions, 0 deletions