From 2d9256366b3a0c898d9a023229a33f9c8acbcf89 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 3ec50c020..2c3d8d992 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=""