[splint.git] / test / moreBufferTests2 / Makefile

.PHONY: check

#SPLINT = splint
 
check:
	$(SPLINT) -exportlocal +bounds unknownsize.c arrayConstExpr.c -expect 1
	$(SPLINT) -exportlocal +bounds fixedArrayType.c -expect 1
	$(SPLINT) -exportlocal +bounds initBlock.c -expect 1
Commit	Line	Data
30585c35	1	.PHONY: check
30585c35	2
11db3170	3	#SPLINT = splint
30585c35	4
30585c35	5	check:
bb7c2085	6	$(SPLINT) -exportlocal +bounds unknownsize.c arrayConstExpr.c -expect 1
e7af8598	7	$(SPLINT) -exportlocal +bounds fixedArrayType.c -expect 1
8f58355a	8	$(SPLINT) -exportlocal +bounds initBlock.c -expect 1
30585c35	9