summaryrefslogtreecommitdiff
path: root/.splintrc
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2011-02-04 16:15:51 -0500
committerEric S. Raymond <esr@thyrsus.com>2011-02-04 16:15:51 -0500
commit39a128ea754391392509ba0cc20a9df3b33cfd25 (patch)
treeda436c5115dccccbfe6356ed70f885d87b74b2dc /.splintrc
parent098c57f89a86fea6a3f671b78e656a00fc3e4c94 (diff)
downloadgpsd-39a128ea754391392509ba0cc20a9df3b33cfd25.tar.gz
Remove unneeded splint options.
Diffstat (limited to '.splintrc')
-rw-r--r--.splintrc4
1 files changed, 1 insertions, 3 deletions
diff --git a/.splintrc b/.splintrc
index 38f1cf51..24bad2ad 100644
--- a/.splintrc
+++ b/.splintrc
@@ -10,10 +10,8 @@
-nestedextern
-abstract
--Din_addr_t=int
--Dcaddr_t=short
--Disgps30bits_t=uint
-Ddbus_uint32_t=uint
+-Disgps30bits_t=uint
-DFD_SETSIZE=31
-DB57600=010001
-DB115200=0010011