Matt McCutchen's Web Site
/
rsync
/
rsync.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
daa3d0e
)
Add phony target to run Splint.
author
Martin Pool
<mbp@samba.org>
Thu, 14 Mar 2002 10:42:52 +0000
(10:42 +0000)
committer
Martin Pool
<mbp@samba.org>
Thu, 14 Mar 2002 10:42:52 +0000
(10:42 +0000)
Makefile.in
patch
|
blob
|
blame
|
history
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
+# 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 $@ $<