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