From c6d4828aaa8e64af5bf749ec59ce4e664fe6feee Mon Sep 17 00:00:00 2001 From: Dirk Zimoch Date: Tue, 29 Sep 2026 10:07:37 +0200 Subject: [PATCH] give a default value (NO) to EPICS_MUTEX_USE_PRIORITY_INHERITANCE --- configure/CONFIG_ENV | 1 + 1 file changed, 1 insertion(+) diff --git a/configure/CONFIG_ENV b/configure/CONFIG_ENV index 6d0d52a79..f39dc7daa 100644 --- a/configure/CONFIG_ENV +++ b/configure/CONFIG_ENV @@ -45,6 +45,7 @@ EPICS_CAS_BEACON_ADDR_LIST="" EPICS_CAS_SERVER_PORT= EPICS_CAS_INTF_ADDR_LIST="" EPICS_CAS_IGNORE_ADDR_LIST="" +EPICS_MUTEX_USE_PRIORITY_INHERITANCE=NO # Servers to disable EPICS_IOC_IGNORE_SERVERS=""