summaryrefslogtreecommitdiff
path: root/.splintrc
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2005-05-27 10:51:20 +0000
committerEric S. Raymond <esr@thyrsus.com>2005-05-27 10:51:20 +0000
commit7a1fdd3999e03cacf4599685517dd906f593323c (patch)
treee80ad0480ab06707d721cd442010591235bb3897 /.splintrc
parent61ec32f1c2c65efe8f1fec8e3b88a299dac772a8 (diff)
downloadgpsd-7a1fdd3999e03cacf4599685517dd906f593323c.tar.gz
879 splint warnings.
Diffstat (limited to '.splintrc')
-rw-r--r--.splintrc4
1 files changed, 4 insertions, 0 deletions
diff --git a/.splintrc b/.splintrc
index fd3798f8..4cbf42bf 100644
--- a/.splintrc
+++ b/.splintrc
@@ -1,7 +1,11 @@
-I.
+posixlib
+charindex
++charintliteral
+-exitarg
-booltype bool
+-paramuse
+
-Dfd_set=int
-Dpthread_t=int
-Dsocklen_t=ssize_t