Added the splint.org css sheet to the html version of the faq.

[splint.git] / test / moreBufferTests / Makefile

diff --git a/test/moreBufferTests/Makefile b/test/moreBufferTests/Makefile
index 75e921ef4730ef02fc60c97f959be580e2239298..3b12d1d9a8ac30d80f86d564f1aa629439d460f4 100644 (file)
--- a/test/moreBufferTests/Makefile
+++ b/test/moreBufferTests/Makefile
@@ -3,5 +3,5 @@
 SPLINT = splint
  
 check:
-       $(SPLINT) -exportlocal +arraybounds +arrayboundsread unrecogCall.c strrchr.c initialization.c simplifyTest.c strncatNotReallyGood.c strncatReallyGood.c -expect 8
+       $(SPLINT) -exportlocal +bounds unrecogCall.c strrchr.c initialization.c simplifyTest.c strncatNotReallyGood.c strncatReallyGood.c -expect 8