diff options
Diffstat (limited to 'os/rt/include/chthreads.h')
| -rw-r--r-- | os/rt/include/chthreads.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/os/rt/include/chthreads.h b/os/rt/include/chthreads.h index 6632d8d62..966f5de08 100644 --- a/os/rt/include/chthreads.h +++ b/os/rt/include/chthreads.h @@ -28,6 +28,8 @@ #ifndef _CHTHREADS_H_
#define _CHTHREADS_H_
+/*lint -sem(chThdExit, r_no) -sem(chThdExitS, r_no)*/
+
/*===========================================================================*/
/* Module constants. */
/*===========================================================================*/
|