X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/74738c0fa6a63f888fa6fb0758c9ad438d47a700..f9264521e093e570a8831d5238ccc3bc20e01119:/test/tainted/Makefile diff --git a/test/tainted/Makefile b/test/tainted/Makefile index b0cb379..8ae5ab1 100644 --- a/test/tainted/Makefile +++ b/test/tainted/Makefile @@ -13,4 +13,6 @@ tainted: -${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 sprintf.c -expect 5 + +# evans 2002-07-09: 3 more warnings for sprintf because of sprintf