From 5648a819360b016c527b7a56b33571699f273e53 Mon Sep 17 00:00:00 2001
From: Martin Pool <mbp@samba.org>
Date: Thu, 14 Mar 2002 10:42:52 +0000
Subject: [PATCH] Add phony target to run Splint.

---
 Makefile.in | 6 ++++++
 1 file changed, 6 insertions(+)

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 $@ $<
 
-- 
2.34.1