splint-fileserver-volserver-cleanup-20030602

[openafs.git] / src / volser / Makefile.in

diff --git a/src/volser/Makefile.in b/src/volser/Makefile.in
index c42ddc9..e573328 100644 (file)
--- a/src/volser/Makefile.in
+++ b/src/volser/Makefile.in
@@ -178,3 +178,10 @@ dest: \
        ${DEST}/root.server/usr/afs/bin/volserver \
        ${DEST}/lib/afs/libvolser.a
 
+
+splint::
+       splint $(CFLAGS) \
+           vos.c \
+           vsprocs.c vsutils.c lockprocs.c volerr.c \
+           volmain.c volprocs.c physio.c common.c voltrans.c volerr.c \
+           dumpstuff.c