summaryrefslogtreecommitdiff
path: root/wscript
diff options
context:
space:
mode:
authorLars-Dominik Braun <lars@6xq.net>2015-02-22 15:17:24 +0100
committerLars-Dominik Braun <lars@6xq.net>2015-05-02 21:36:45 +0200
commit9e3c0bf4512865b7b5cd0ef2f46ac79fa12b4e86 (patch)
tree6b5c1d13f05a37bed0f8d39e8c3bf5c21126a178 /wscript
parent0d9a396fa7d6e72cfd2157e0e47f00d08813f64f (diff)
downloadpucket-9e3c0bf4512865b7b5cd0ef2f46ac79fa12b4e86.tar.gz
pucket-9e3c0bf4512865b7b5cd0ef2f46ac79fa12b4e86.tar.bz2
pucket-9e3c0bf4512865b7b5cd0ef2f46ac79fa12b4e86.zip
Prefetch bucket accumulator
The bucket add is a hotspot.
Diffstat (limited to 'wscript')
-rw-r--r--wscript2
1 files changed, 1 insertions, 1 deletions
diff --git a/wscript b/wscript
index 6ba36c4..d804ab1 100644
--- a/wscript
+++ b/wscript
@@ -15,7 +15,7 @@ def configure(conf):
conf.check_cc (lib='amdlibm', header_name='amdlibm.h', mandatory=False, define_name='HAVE_AMDLIBM', uselib_store='amdlibm')
# does not work
- #conf.check_cc (function_name='__builtin_ia32_rdrand64_step', define_name='HAVE_RDRAND64')
+ conf.check_cc (function_name='__builtin_prefetch', define_name='HAVE_BUILTIN_PREFETCH')
conf.write_config_header ('config.h')
def build(bld):