summaryrefslogtreecommitdiff
path: root/.splintrc
diff options
context:
space:
mode:
authorjbj <devnull@localhost>2003-01-24 21:01:50 +0000
committerjbj <devnull@localhost>2003-01-24 21:01:50 +0000
commit79365b0a0d558e40aea22d5c87a25b372f69accc (patch)
treef465e881ad7d0b8eaa2bff4429b7601bfff2aa49 /.splintrc
parent83037d78fecac9fd89db832b0040a17a93f5667a (diff)
downloadrpm-79365b0a0d558e40aea22d5c87a25b372f69accc.tar.gz
rpm-79365b0a0d558e40aea22d5c87a25b372f69accc.tar.bz2
rpm-79365b0a0d558e40aea22d5c87a25b372f69accc.zip
Add file to the splint sources too.
CVS patchset: 6026 CVS date: 2003/01/24 21:01:50
Diffstat (limited to '.splintrc')
-rw-r--r--.splintrc3
1 files changed, 2 insertions, 1 deletions
diff --git a/.splintrc b/.splintrc
index cc39716bc..984fc5ffb 100644
--- a/.splintrc
+++ b/.splintrc
@@ -1,4 +1,4 @@
--I. -I./build -I./lib -I./rpmdb -I./rpmio -I./beecrypt -I./popt -I./elfutils/libelf -I./zlib -I/usr/lib/gcc-lib/i386-redhat-linux/3.1/include -DHAVE_CONFIG_H -D_GNU_SOURCE -D_REENTRANT -DHAVE_DEV_DSP -DHAVE_SYS_SOUNDCARD
+-I. -I./build -I./lib -I./rpmdb -I./rpmio -I./beecrypt -I./file -I./popt -I./elfutils/libelf -I./zlib -I/usr/lib/gcc-lib/i386-redhat-linux/3.1/include -DHAVE_CONFIG_H -D_GNU_SOURCE -D_REENTRANT -DHAVE_DEV_DSP -DHAVE_SYS_SOUNDCARD
#+partial
+forcehints
@@ -15,6 +15,7 @@
# --- in progress
+bounds
+slovak-fcns
++access-slovak
-redecl
-bufferoverflowhigh