[splint.git] / test / simplebufferConstraintTests / Makefile

.PHONY: check

LCLINT = lclint -exportlocal
 
check:
	$(LCLINT) +arraybounds +arrayboundsread m.c sizeof.c test3.c test7.c -expect 7
Commit	Line	Data
a469ccf0	1	.PHONY: check
	2
	3	LCLINT = lclint -exportlocal
	4
	5	check:
	6	$(LCLINT) +arraybounds +arrayboundsread m.c sizeof.c test3.c test7.c -expect 7
	7
	8