Fixed state clauses. Added obvious loop exec checking.

[splint.git] / test / db1 / Makefile

diff --git a/test/db1/Makefile b/test/db1/Makefile
index 8e6179086873e0b348c71ee3c61ca5c107d17e2f..298900e25a8c138d9e7655d1dad832687344d02a 100644 (file)
--- a/test/db1/Makefile
+++ b/test/db1/Makefile
@@ -26,8 +26,8 @@ test:
 ###
 
 check: $(LCSFILES)
-       $(SPLINT) -showcol -weak $(MODULES) -expect 16
-       $(SPLINT) -showcol +strict -modfilesystem +showsummary $(MODULES) -expect 333
+       -$(SPLINT) -showcol -weak $(MODULES) -expect 16
+       -$(SPLINT) -showcol +strict -modfilesystem +showsummary $(MODULES) -expect 333
 
 ### The following rules generate .lh and .lcs files from .lcl files.  They also
 ### ensure that .h files appear to be updated whenever the corresponding .lh