[splint.git] / test / maxset / Makefile

.PHONY: check

SPLINT = splint -exportlocal
 
check:
	$(SPLINT) +boundswrite maxsetannotations.c
	$(SPLINT) +boundswrite maxsetnoannotations.c -expect 1
Commit	Line	Data
a469ccf0	1	.PHONY: check
a469ccf0	2
11db3170	3	SPLINT = splint -exportlocal
a469ccf0	4
a469ccf0	5	check:
bb7c2085	6	$(SPLINT) +boundswrite maxsetannotations.c
bb7c2085	7	$(SPLINT) +boundswrite maxsetnoannotations.c -expect 1