X-Git-Url: https://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=include%2Furcu%2Fconfig.h.in;fp=include%2Furcu%2Fconfig.h.in;h=bb128a11da3c77cbc3da563b18895f93506a66f9;hp=4b856dcfc0900cd403ae59833b7f494d4c0f6a71;hb=a8e7c8d9eabfecc5017053754f6b446a95b00010;hpb=d8d9a3405ce46af6d34d2e80e260ad50f3d211a0

diff --git a/include/urcu/config.h.in b/include/urcu/config.h.in
index 4b856dc..bb128a1 100644
--- 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