diff options
Diffstat (limited to 'kern/mutex_types.h')
| -rw-r--r-- | kern/mutex_types.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kern/mutex_types.h b/kern/mutex_types.h index 432eab30..eb2bc339 100644 --- a/kern/mutex_types.h +++ b/kern/mutex_types.h @@ -23,6 +23,8 @@ #if defined(X15_MUTEX_PI) #include <kern/mutex/mutex_pi_types.h> +#elif defined(X15_MUTEX_ADAPTIVE) +#include <kern/mutex/mutex_adaptive_types.h> #else #include <kern/mutex/mutex_plain_types.h> #endif |