diff options
author | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-08-05 12:24:08 +0000 |
---|---|---|
committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-08-05 12:24:08 +0000 |
commit | 314eb6c589f05a7793bef8d21240c1f92240ef92 (patch) | |
tree | a3e7a739a3ae8e2cffc105bcad255f769f631631 /os/rt/ports/e200 | |
parent | 5cbe3a8aad4f44ccee64c309836901b0a33f4bb6 (diff) | |
download | ChibiOS-314eb6c589f05a7793bef8d21240c1f92240ef92.tar.gz ChibiOS-314eb6c589f05a7793bef8d21240c1f92240ef92.tar.bz2 ChibiOS-314eb6c589f05a7793bef8d21240c1f92240ef92.zip |
Fixed bug #625.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@8158 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'os/rt/ports/e200')
-rw-r--r-- | os/rt/ports/e200/chcore.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/os/rt/ports/e200/chcore.h b/os/rt/ports/e200/chcore.h index c0b96e2df..c12b615e9 100644 --- a/os/rt/ports/e200/chcore.h +++ b/os/rt/ports/e200/chcore.h @@ -117,7 +117,7 @@ * @p chcore_timer.h, if this option is enabled then the file
* @p chcore_timer_alt.h is included instead.
*/
-#if !defined(PORT_USE_ALT_TIMER)
+#if !defined(PORT_USE_ALT_TIMER) || defined(__DOXYGEN__)
#define PORT_USE_ALT_TIMER FALSE
#endif
@@ -125,14 +125,14 @@ * @brief Use VLE instruction set.
* @note This parameter is usually set in the Makefile.
*/
-#if !defined(PPC_USE_VLE)
+#if !defined(PPC_USE_VLE) || defined(__DOXYGEN__)
#define PPC_USE_VLE TRUE
#endif
/**
* @brief Enables the use of the @p WFI instruction.
*/
-#if !defined(PPC_ENABLE_WFI_IDLE)
+#if !defined(PPC_ENABLE_WFI_IDLE) || defined(__DOXYGEN__)
#define PPC_ENABLE_WFI_IDLE FALSE
#endif
|