.PHONY: check

SPLINT = splint -exportlocal
 
check:
	$(SPLINT) +bounds for.c -expect 1
syntax highlighted by Code2HTML, v. 0.9.1