diff options
author | jbj <jbj> | 2007-06-10 00:06:49 +0000 |
---|---|---|
committer | jbj <jbj> | 2007-06-10 00:06:49 +0000 |
commit | bd623aa5057f6057213a8a4dc6643683fdb01c6b (patch) | |
tree | 9c93e6131b2749f6c502590122ed32ce97f7c0b1 | |
parent | 20a7a937578e93ad47166b33d149ba0e7d639a19 (diff) | |
download | libpopt-rpm-4_5.tar.gz |
remove .splintrc too.rpm-4_5
-rw-r--r-- | .splintrc | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/.splintrc b/.splintrc deleted file mode 100644 index ffc264c..0000000 --- a/.splintrc +++ /dev/null @@ -1,42 +0,0 @@ --I. -DHAVE_CONFIG_H -D_GNU_SOURCE - -#+partial -+forcehints - --warnposix - -+unixlib - --unrecogcomments # XXX ignore doxygen markings - -+strict # lclint level - -# --- in progress -+bounds --bufferoverflowhigh - -# --- +partial artifacts - -# --- not-yet at strict level --elseifcomplete # 18 --exportfcn # 25 --ifblock # 202 --namechecks # 206 --ptrarith # 43 - --mustdefine # 10 --shiftimplementation # 120 --sys-dir-errors - --strictops # 16 --whileblock # 10 - -# --- not-yet at checks level --mustfree # 52 --predboolptr # 62 --usedef # 1 - -# --- not-yet at standard level --boolops # 112 --predboolint # 38 -+ignorequals # 17 |