diff options
| author | jbj <devnull@localhost> | 2002-06-22 18:51:56 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-06-22 18:51:56 +0000 |
| commit | 05cb73a7ee762065339393057d421613866e0418 (patch) | |
| tree | 533b7192c83e882aab90c337d4356735932de7f0 /Makefile.am | |
| parent | ba41c1ccb13a7a27466470e501a0d4f30fddec40 (diff) | |
| download | rpm-05cb73a7ee762065339393057d421613866e0418.tar.gz rpm-05cb73a7ee762065339393057d421613866e0418.tar.bz2 rpm-05cb73a7ee762065339393057d421613866e0418.zip | |
Factor bounds checking annotations into source code.
CVS patchset: 5521
CVS date: 2002/06/22 18:51:56
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index e3940b723..2d93de24d 100644 --- a/Makefile.am +++ b/Makefile.am @@ -102,6 +102,16 @@ rpm2cpio_LDADD = $(myLDADD) @LIBMISC@ $(PROGRAMS): $(myLDADD) @WITH_APIDOCS_TARGET@ +.PHONY: splint +splint: + splint \ + -load build/rpmbuild.lcd \ + -load lib/rpmlib.lcd \ + -load rpmdb/rpmdb.lcd \ + -load rpmio/rpmio.lcd \ + -load popt/popt.lcd \ + $(DEFS) $(INCLUDES) rpmqv.c $(rpmb_SOURCES) + .PHONY: lclint lclint: lclint -Dlint $(DEFS) $(INCLUDES) rpmqv.c $(rpmb_SOURCES) \ |