summaryrefslogtreecommitdiff
path: root/.splintrc
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2005-05-26 20:25:06 +0000
committerEric S. Raymond <esr@thyrsus.com>2005-05-26 20:25:06 +0000
commit1ad7fcd0db290a75b0a24da3670015835e5b0136 (patch)
treecd97d5086964130ab63fde6fa796209ee09ab2a8 /.splintrc
parent39f94b2989d495fa2db1438f86c3d6a1bd6c5486 (diff)
downloadgpsd-1ad7fcd0db290a75b0a24da3670015835e5b0136.tar.gz
Down to 1562 splint warnings.
Diffstat (limited to '.splintrc')
-rw-r--r--.splintrc1
1 files changed, 1 insertions, 0 deletions
diff --git a/.splintrc b/.splintrc
index 77d58316..16a21098 100644
--- a/.splintrc
+++ b/.splintrc
@@ -7,3 +7,4 @@
-Du_int16_t=short
-Du_int8_t=short
-Dcaddr_t=short
+-DFD_SETSIZE=31