[splint.git] / test / fileio / Makefile

.PHONY: filerw fileopen

SPLINT = splint

all: filerw fileopen filebranch

filerw:
	${SPLINT} -mts file -mts filerw filerw.c -expect 3

fileopen:
	${SPLINT} -mts file -mts filerw file.c -expect 3

filebranch:
	${SPLINT} -mts file filebranch.c
Commit	Line	Data
15b3d2b2	1	.PHONY: filerw fileopen
60eced23	2
11db3170	3	SPLINT = splint
60eced23	4
b7e84605	5	all: filerw fileopen filebranch
15b3d2b2	6
60eced23	7	filerw:
11db3170	8	${SPLINT} -mts file -mts filerw filerw.c -expect 3
15b3d2b2	9
15b3d2b2	10	fileopen:
11db3170	11	${SPLINT} -mts file -mts filerw file.c -expect 3
15b3d2b2	12
b7e84605	13	filebranch:
11db3170	14	${SPLINT} -mts file filebranch.c