diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2016-03-18 10:10:31 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2016-03-18 10:10:31 +0000 |
| commit | ab961a54e0cc898315cf60d224d68b2c9547b1dc (patch) | |
| tree | 75279ef919ab5db5297221ab520f1dc0871d73f6 /os | |
| parent | a1480d01d1110f74f157d5caea0b5d619d859b91 (diff) | |
| download | ChibiOS-ab961a54e0cc898315cf60d224d68b2c9547b1dc.tar.gz ChibiOS-ab961a54e0cc898315cf60d224d68b2c9547b1dc.tar.bz2 ChibiOS-ab961a54e0cc898315cf60d224d68b2c9547b1dc.zip | |
doc fix
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@9135 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os')
| -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.
*
|