From a8e7c8d9eabfecc5017053754f6b446a95b00010 Mon Sep 17 00:00:00 2001 From: Mathieu Desnoyers Date: Fri, 16 Sep 2016 16:11:46 -0400 Subject: [PATCH] Fix: add missing CONFIG_RCU_FORCE_SYS_MEMBARRIER to urcu/config.h.in Expose this configuration define in the installed header. Signed-off-by: Mathieu Desnoyers --- include/urcu/config.h.in | 4 ++++ 1 file changed, 4 insertions(+) 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 -- 2.34.1