Makefile.in: splint target is PHONY.

diff --git a/Makefile.in b/Makefile.in
index cdd75717f9375805539bc470b1bd4fed86c565c0..4d8f85af5ff12924b706bf30da7d474f22449aaa 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -32,7 +32,7 @@ LINK          = $(CC) $(CFLAGS) $(LDFLAGS)
 %.o:   %.c
        $(COMPILE) -c $<
 
-.PHONY:        clean realclean docclean doc
+.PHONY:        clean realclean docclean doc lint
 
 all:   run-test0
 
@@ -59,7 +59,6 @@ realclean: clean docclean
 docclean:
        rm -rf doc
 
-
 lint:
        for i in $(ALL_SOURCES); do \
                $(LINT) $(LINTFLAGS) $(CPPFLAGS) $$i ; \