1.PHONY: check
2
3SPLINT = splint -exportlocal
4
5check:
6	$(SPLINT) +boundswrite maxsetannotations.c
7	$(SPLINT) +boundswrite maxsetnoannotations.c -expect 1
8