X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/b73d1009d4a3494951c129e49f50f8b4c795deb1..35e8712de8a20811e536e7506deb87e9492a710d:/test/Makefile.in diff --git a/test/Makefile.in b/test/Makefile.in index c303afc..3984b50 100644 --- a/test/Makefile.in +++ b/test/Makefile.in @@ -1407,7 +1407,7 @@ null: -$(SPLINTR) null1.c -null -mustdefine -expect 4 -$(SPLINTR) null2.c -expect 11 -$(SPLINTR) null3.c -expect 15 - -$(SPLINTR) null3.c -warnunixlib +unixlib -expect 16 + -$(SPLINTR) null3.c +unixlib -expect 16 -$(SPLINTR) null4.c -expect 1 -$(SPLINTR) null5.c -expect 4 -$(SPLINTR) null6 -expect 4