Add phony target to run Splint.

5648a819 · Martin Pool · daa3d0e2 · 5648a819
Commit 5648a819 authored Mar 14, 2002 by Martin Pool
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

Makefile.in Makefile.in +6 -0

No files found.
--- a/Makefile.in
+++ b/Makefile.in
@@ -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 $@ $<