[splint.git] / test / mergestate / Makefile

.PHONY: tainted 

SPLINT = splint

all: tainted 

tainted:
	${SPLINT} -mts taintednm taintednm.c -mustfree -exportlocal -expect 2
	${SPLINT} -mts tainted taintednm.c -mustfree -exportlocal -expect 4
Commit	Line	Data
a469ccf0	1	.PHONY: tainted
a469ccf0	2
11db3170	3	SPLINT = splint
a469ccf0	4
	5	all: tainted
	6
	7	tainted:
11db3170	8	${SPLINT} -mts taintednm taintednm.c -mustfree -exportlocal -expect 2
11db3170	9	${SPLINT} -mts tainted taintednm.c -mustfree -exportlocal -expect 4