Add splint rule to makefile

diff --git a/Makefile b/Makefile
index b2ca6f84482db20f16446fd86149ede78e9d5335..c017832e22b0b0642d5f2bc5507b48274c8b55b8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -101,6 +101,9 @@ check: all
 clean:
        rm -f *.o $(GMQCC) $(QCVM) $(TESTSUITE) *.dat
 
+splint:
+       @ ./splint.sh
+
 depend:
        makedepend -Y -w 65536 \
                $(subst .o,.c,$(OBJ_D))