summaryrefslogtreecommitdiff
path: root/.splintrc
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2005-05-26 18:15:13 +0000
committerEric S. Raymond <esr@thyrsus.com>2005-05-26 18:15:13 +0000
commit75cd79019c3f262746f8d7ca102e33495e0a6af5 (patch)
tree1cfdb9550d605839f09c9d5f5a27cdbfa2f6b180 /.splintrc
parent5e380a5c01662426e45034848dc1443571783585 (diff)
downloadgpsd-75cd79019c3f262746f8d7ca102e33495e0a6af5.tar.gz
Make a start at cleaning up splint warnings.
Diffstat (limited to '.splintrc')
-rw-r--r--.splintrc9
1 files changed, 9 insertions, 0 deletions
diff --git a/.splintrc b/.splintrc
new file mode 100644
index 00000000..77d58316
--- /dev/null
+++ b/.splintrc
@@ -0,0 +1,9 @@
+-I.
++posixlib
+-Dfd_set=int
+-Dpthread_t=int
+-Dsocklen_t=ssize_t
+-Din_addr_t=int
+-Du_int16_t=short
+-Du_int8_t=short
+-Dcaddr_t=short