Add phony target to run Splint.
authorMartin Pool <mbp@samba.org>
Thu, 14 Mar 2002 10:42:52 +0000 (10:42 +0000)
committerMartin Pool <mbp@samba.org>
Thu, 14 Mar 2002 10:42:52 +0000 (10:42 +0000)
Makefile.in

index d7bdf7c..3e5ca3e 100644 (file)
@@ -135,6 +135,12 @@ installcheck: $(CHECK_PROGS)
 
 # TODO: Add 'dist' target; need to know which files will be included
 
+# Run the SPLINT (Secure Programming Lint) tool.  <www.splint.org>
+.PHONY: splint
+splint: 
+       splint +unixlib +gnuextensions -weak rsync.c
+
+
 rsync.dvi: doc/rsync.texinfo
        texi2dvi -o $@ $<