projects
/
userspace-rcu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix: add missing CONFIG_RCU_FORCE_SYS_MEMBARRIER to urcu/config.h.in
[userspace-rcu.git]
/
include
/
urcu
/
config.h.in
diff --git
a/include/urcu/config.h.in
b/include/urcu/config.h.in
index 4b856dcfc0900cd403ae59833b7f494d4c0f6a71..bb128a11da3c77cbc3da563b18895f93506a66f9 100644
(file)
--- a/
include/urcu/config.h.in
+++ b/
include/urcu/config.h.in
@@
-22,3
+22,7
@@
/* clock_gettime() is detected. */
#undef CONFIG_RCU_HAVE_CLOCK_GETTIME
+
+/* Require the operating system to support the membarrier system call for
+ default and bulletproof flavors. */
+#undef CONFIG_RCU_FORCE_SYS_MEMBARRIER
This page took
0.025219 seconds
and
4
git commands to generate.