summaryrefslogtreecommitdiff
path: root/.splintrc
diff options
context:
space:
mode:
authorjbj <jbj>2007-05-30 02:45:46 +0000
committerjbj <jbj>2007-05-30 02:45:46 +0000
commit440ea58b7c6ba1d8de5eac9d2f6842b27a71653e (patch)
tree7aabc0cca8fd7a1aca2275d1e5ab32b03209709c /.splintrc
parentdf7a7b0bb7ab653398c4fe76666deff327f14cbd (diff)
downloadlibpopt-440ea58b7c6ba1d8de5eac9d2f6842b27a71653e.tar.gz
Blue print HEAD against rpm-4_5 branch.
Diffstat (limited to '.splintrc')
-rw-r--r--.splintrc6
1 files changed, 2 insertions, 4 deletions
diff --git a/.splintrc b/.splintrc
index e027765..ffc264c 100644
--- a/.splintrc
+++ b/.splintrc
@@ -18,7 +18,6 @@
# --- +partial artifacts
# --- not-yet at strict level
--bitwisesigned # 75
-elseifcomplete # 18
-exportfcn # 25
-ifblock # 202
@@ -39,6 +38,5 @@
# --- not-yet at standard level
-boolops # 112
--predboolint # 30
-+charint # 3
-+ignorequals # 13
+-predboolint # 38
++ignorequals # 17