1 files changed, 1 insertions, 1 deletions
diff --git a/test/testthd.c b/test/testthd.c
index 83c2c4d4f..3433d2eb4 100644
--- a/test/testthd.c
+++ b/test/testthd.c
@@ -142,7 +142,7 @@ static void thd3_execute(void) {
   test_assert(4, chThdGetPriority() == prio,
               "unexpected priority level");
 
-#if CH_USE_MUTEXES
+#if CH_USE_MUTEXES || defined(__DOXYGEN__)
   /* Simulates a priority boost situation (p_prio > p_realprio).*/
   chSysLock();
   chThdSelf()->p_prio += 2;