Matt McCutchen's Web Site
/
rsync
/
rsync.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add phony target to run Splint.
[rsync/rsync.git]
/
Makefile.in
diff --git
a/Makefile.in
b/Makefile.in
index
d7bdf7c
..
3e5ca3e
100644
(file)
--- 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
# 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 $@ $<
rsync.dvi: doc/rsync.texinfo
texi2dvi -o $@ $<