]> andersk Git - splint.git/blobdiff - test/Makefile.in
Added linux builtin type in inet.h to unix library.
[splint.git] / test / Makefile.in
index c303afca8f30e3840f5ff9528ef9d4ff349a72ef..3984b5026fb784a839095c5ff220885db90901bb 100644 (file)
@@ -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
This page took 0.035797 seconds and 4 git commands to generate.