X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/990ec8680b4718e26f8774a8f2ccff44fb97b3c5..ccf0a4a84a5a030c02e90d914b3f152b29826737:/test/metastate/Makefile?ds=sidebyside diff --git a/test/metastate/Makefile b/test/metastate/Makefile index f746e0d..1922a89 100644 --- a/test/metastate/Makefile +++ b/test/metastate/Makefile @@ -9,7 +9,7 @@ file: ${LCLINT} -mts file file2.c -varuse -fcnuse -expect 2 ${LCLINT} -mts file file3.c -varuse -fcnuse -expect 2 ${LCLINT} -mts file file4.c -varuse -fcnuse -exportlocal -expect 1 - ${LCLINT} -mts file file5.c -varuse -fcnuse -exportlocal -expect 5 + ${LCLINT} -mts file file5.c -varuse -fcnuse -exportlocal -expect 4 ${LCLINT} -mts file file6.c -varuse -fcnuse -exportlocal -expect 2 ${LCLINT} -mts file filebad.c -expect 3