diff options
author | jbj <jbj> | 2007-05-30 02:45:46 +0000 |
---|---|---|
committer | jbj <jbj> | 2007-05-30 02:45:46 +0000 |
commit | 440ea58b7c6ba1d8de5eac9d2f6842b27a71653e (patch) | |
tree | 7aabc0cca8fd7a1aca2275d1e5ab32b03209709c /.splintrc | |
parent | df7a7b0bb7ab653398c4fe76666deff327f14cbd (diff) | |
download | libpopt-440ea58b7c6ba1d8de5eac9d2f6842b27a71653e.tar.gz |
Blue print HEAD against rpm-4_5 branch.
Diffstat (limited to '.splintrc')
-rw-r--r-- | .splintrc | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -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 |