diff options
| -rw-r--r-- | os/common/oslib/src/chmempools.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/os/common/oslib/src/chmempools.c b/os/common/oslib/src/chmempools.c index 29ca2e0dc..350acc130 100644 --- a/os/common/oslib/src/chmempools.c +++ b/os/common/oslib/src/chmempools.c @@ -198,7 +198,7 @@ void chPoolFree(memory_pool_t *mp, void *objp) { chSysUnlock();
}
-#if CH_CFG_USE_SEMAPHORES == TRUE
+#if (CH_CFG_USE_SEMAPHORES == TRUE) || defined(__DOXYGEN__)
/**
* @brief Initializes an empty guarded memory pool.
*
|