diff options
Diffstat (limited to 'os/rt/include/chsys.h')
| -rw-r--r-- | os/rt/include/chsys.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/os/rt/include/chsys.h b/os/rt/include/chsys.h index 88814fa16..af725f627 100644 --- a/os/rt/include/chsys.h +++ b/os/rt/include/chsys.h @@ -28,6 +28,8 @@ #ifndef _CHSYS_H_
#define _CHSYS_H_
+/*lint -sem(chSysHalt, r_no)*/
+
/*===========================================================================*/
/* Module constants. */
/*===========================================================================*/
|