diff options
Diffstat (limited to 'cpukit/configure.ac')
-rw-r--r-- | cpukit/configure.ac | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/cpukit/configure.ac b/cpukit/configure.ac index 3ec7a55281..04f2997d4a 100644 --- a/cpukit/configure.ac +++ b/cpukit/configure.ac @@ -224,6 +224,12 @@ RTEMS_CPUOPT([__RTEMS_DO_NOT_INLINE_THREAD_ENABLE_DISPATCH__], [disable inlining _Thread_Enable_dispatch] ) +RTEMS_CPUOPT([__STRICT_ORDER_MUTEX__], + [test x"${ENABLE_STRICT_ORDER_MUTEX}"=x"1"], + [1], + [disable strict order mutex] +) + RTEMS_CPUOPT([__RTEMS_MAJOR__], [true], [$rtems_major], |