From: Martin Pool <mbp@samba.org>
Date: Thu, 14 Mar 2002 10:42:52 +0000 (+0000)
Subject: Add phony target to run Splint.
X-Git-Url: https://mattmccutchen.net/rsync/rsync.git/commitdiff_plain/5648a819360b016c527b7a56b33571699f273e53?ds=sidebyside;hp=daa3d0e2da1410a88046de97fb0b4d73380e6978

Add phony target to run Splint.
---

diff --git a/Makefile.in b/Makefile.in
index d7bdf7c2..3e5ca3ec 100644
--- 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 $@ $<