]> andersk Git - splint.git/blob - test/tainted/Makefile~
*** empty log message ***
[splint.git] / test / tainted / Makefile~
1 .PHONY: tainted 
2
3 LCLINT = lclint
4
5 all: tainted 
6
7 tainted:
8         ${LCLINT} -mts tainted tainted.c -mustfree -exportlocal -expect 4
9         ${LCLINT} tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 9
10         ${LCLINT} -mts tainted tainted2.c -mustfree -exportlocal -expect 1
11         ${LCLINT} -mts tainted tainted3.c -mustfree -exportlocal -expect 1
12         ${LCLINT} -mts tainted tainted4.c -mustfree -exportlocal -expect 1
13         ${LCLINT} -mts tainted tainted5.c -mustfree -exportlocal -expect 2
14         ${LCLINT} -mts tainted taintedmerge.c -mustfree -exportlocal -expect 3
15         ${LCLINT} -mts tainted taintedimplicit.c -mustfree -exportlocal -expect 1
This page took 0.04006 seconds and 5 git commands to generate.