]> andersk Git - splint.git/blobdiff - test/tainted/Makefile
Pushed back constraintResolve.c to the previous version.
[splint.git] / test / tainted / Makefile
index 40bd60f17a403dec69484ae90d3bb1ddd5e4d246..8ae5ab18955848f725d6f11a660be5a5078a3cad 100644 (file)
@@ -5,12 +5,14 @@ SPLINT = splint
 all: tainted 
 
 tainted:
-       ${SPLINT} -mts tainted tainted.c -mustfree -exportlocal -expect 4
-       ${SPLINT} tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 9
-       ${SPLINT} -mts tainted tainted2.c -mustfree -exportlocal -expect 1
-       ${SPLINT} -mts tainted tainted3.c -mustfree -exportlocal -expect 1
-       ${SPLINT} -mts tainted tainted4.c -mustfree -exportlocal -expect 1
-       ${SPLINT} -mts tainted tainted5.c -mustfree -exportlocal
-       ${SPLINT} -mts tainted taintedmerge.c -mustfree -exportlocal -expect 3
-       ${SPLINT} -mts tainted taintedimplicit.c -mustfree -exportlocal -expect 1
-       ${SPLINT} -mts tainted sprintf.c -expect 2
+       -${SPLINT} -mts tainted tainted.c -mustfree -exportlocal -expect 4
+       -${SPLINT} tainted-bad.mts tainted.xh tainted.c -mustfree -exportlocal -expect 9
+       -${SPLINT} -mts tainted tainted2.c -mustfree -exportlocal -expect 1
+       -${SPLINT} -mts tainted tainted3.c -mustfree -exportlocal -expect 1
+       -${SPLINT} -mts tainted tainted4.c -mustfree -exportlocal -expect 1
+       -${SPLINT} -mts tainted tainted5.c -mustfree -exportlocal
+       -${SPLINT} -mts tainted taintedmerge.c -mustfree -exportlocal -expect 3
+       -${SPLINT} -mts tainted taintedimplicit.c -mustfree -exportlocal -expect 1
+       -${SPLINT} -mts tainted sprintf.c -expect 5
+       
+# evans 2002-07-09: 3 more warnings for sprintf because of sprintf
This page took 0.033335 seconds and 4 git commands to generate.