diff options
Diffstat (limited to '.splintrc')
-rw-r--r-- | .splintrc | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -18,3 +18,8 @@ -DCRTSCTS=0x00020000 -DONLCR=0x00000002 -D__gnuc_va_list=va_list +-D__signed__=signed +-D__pid_t=int +-D__size_t=size_t +-Dpps_handle_t=int + |