Fix: add missing CONFIG_RCU_FORCE_SYS_MEMBARRIER to urcu/config.h.in

[urcu.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