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=""