summaryrefslogtreecommitdiff
path: root/.splintrc
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2011-02-04 06:24:37 -0500
committerEric S. Raymond <esr@thyrsus.com>2011-02-04 06:24:37 -0500
commiteac0d851d8d2651266eb51370057412ce6cc0f16 (patch)
tree250b8cd728dc26e91c377129a236de10e5d2ff91 /.splintrc
parent70fff5a3b7991b8a35dc26b946545c8c2bb0f9cf (diff)
downloadgpsd-eac0d851d8d2651266eb51370057412ce6cc0f16.tar.gz
splint simplification and cleanup.
Diffstat (limited to '.splintrc')
-rw-r--r--.splintrc3
1 files changed, 0 insertions, 3 deletions
diff --git a/.splintrc b/.splintrc
index dc94b190..38f1cf51 100644
--- a/.splintrc
+++ b/.splintrc
@@ -10,9 +10,6 @@
-nestedextern
-abstract
--Dint8_t=char
--Dint16_t=short
--Dint32_t=int
-Din_addr_t=int
-Dcaddr_t=short
-Disgps30bits_t=uint