Added linux builtin type in inet.h to unix library.

[splint.git] / test / tests2.4 / Makefile

diff --git a/test/tests2.4/Makefile b/test/tests2.4/Makefile
index 535e3fb418d061c0143b497e8247d4f3d11b01de..109c80efbb8aeac2a07f2b37af32076fd3a62bec 100644 (file)
--- a/test/tests2.4/Makefile
+++ b/test/tests2.4/Makefile
@@ -4,7 +4,7 @@ SPLINT = splint
 
 all: check
 
-check: emptycase enumtest duffs bitfields bugs tests hexconstants innercomment nothing offsetof komazi print syslog error ulrich cpptest longlong subdir fink driverstub alignof source emptycase enumtest duffs bitfields bugs tests hexconstants innercomment nothing offsetof komazi print syslog error ulrich cpptest longlong subdir fink driverstub alignof source
+check: emptycase enumtest duffs bitfields bugs tests hexconstants innercomment nothing offsetof komazi print syslog error ulrich cpptest longlong subdir fink driverstub alignof source 
 
 emptycase:
        $(SPLINT) emptycase.c 
@@ -49,7 +49,7 @@ print:
        $(SPLINT) print.c 
 
 syslog:
-       $(SPLINT) syslog.c -warnunixlib +unixlib 
+       $(SPLINT) syslog.c +unixlib 
 
 error:
        $(SPLINT) error.c -expect 1 
@@ -70,13 +70,13 @@ fink:
        $(SPLINT) fink.c 
 
 driverstub:
-       $(SPLINT) driverstub.c
+       $(SPLINT) driverstub.c -sysdirs "/usr/"
 
 alignof:
        $(SPLINT) alignof.c -expect 2
 
 source:
-       $(SPLINT) -D DBL_MANT_DIG=25 source.c
+       $(SPLINT) -D DBL_MANT_DIG=25 source.c -expect 1