[splint.git] / test / moreBufferTests / Makefile

.PHONY: check

SPLINT = splint
 
check:
	$(SPLINT) -exportlocal +arraybounds +arrayboundsread unrecogCall.c strrchr.c initialization.c simplifyTest.c strncatNotReallyGood.c strncatReallyGood.c -expect 8
Commit	Line	Data
a469ccf0	1	.PHONY: check
a469ccf0	2
11db3170	3	SPLINT = splint
a469ccf0	4
a469ccf0	5	check:
11db3170	6	$(SPLINT) -exportlocal +arraybounds +arrayboundsread unrecogCall.c strrchr.c initialization.c simplifyTest.c strncatNotReallyGood.c strncatReallyGood.c -expect 8
a469ccf0	7