summaryrefslogtreecommitdiff
path: root/.splintrc
diff options
context:
space:
mode:
Diffstat (limited to '.splintrc')
-rw-r--r--.splintrc5
1 files changed, 5 insertions, 0 deletions
diff --git a/.splintrc b/.splintrc
index 24bad2ad..9b292835 100644
--- a/.splintrc
+++ b/.splintrc
@@ -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
+