[splint.git] / test / warnuse / Makefile

.PHONY: warnuse

SPLINT = splint

all: warnuse warngets

warnuse:
	${SPLINT} warnuse.c -expect 4
	${SPLINT} warnuse.c -warnuse -expect 1
	${SPLINT} warnuse.c -warnuse +bufferoverflow -expect 1
	${SPLINT} warnuse.c -bufferoverflow -expect 2

warngets:
	${SPLINT} warngets.c -expect 1
Commit	Line	Data
80ee600a	1	.PHONY: warnuse
80ee600a	2
3e3ec469	3	SPLINT = splint
80ee600a	4
	5	all: warnuse warngets
	6
	7	warnuse:
3e3ec469	8	${SPLINT} warnuse.c -expect 4
	9	${SPLINT} warnuse.c -warnuse -expect 1
	10	${SPLINT} warnuse.c -warnuse +bufferoverflow -expect 1
	11	${SPLINT} warnuse.c -bufferoverflow -expect 2
80ee600a	12
80ee600a	13	warngets:
3e3ec469	14	${SPLINT} warngets.c -expect 1