diff options
| -rw-r--r-- | os/rt/src/chschd.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/os/rt/src/chschd.c b/os/rt/src/chschd.c index fbc84e000..aed9aa8a7 100644 --- a/os/rt/src/chschd.c +++ b/os/rt/src/chschd.c @@ -336,6 +336,7 @@ static void wakeup(void *p) { #endif
#if (CH_CFG_USE_CONDVARS == TRUE) && (CH_CFG_USE_CONDVARS_TIMEOUT == TRUE)
case CH_STATE_WTCOND:
+ /* Falls into, intentional. */
#endif
case CH_STATE_QUEUED:
/* States requiring dequeuing.*/
|