]> andersk Git - splint.git/blobdiff - test/moreBufferTests2/Makefile
Cleaned up flags to generate manual help.
[splint.git] / test / moreBufferTests2 / Makefile
index f7aa697d39f0b937e0da4b6f6b8071a8a29d23a1..45eb3294e7936dfd8b2b49fdd3c59a97ab37269e 100644 (file)
@@ -3,5 +3,5 @@
 #SPLINT = splint
  
 check:
-       $(SPLINT) -exportlocal +arraybounds +arrayboundsread unknownsize.c arrayConstExpr.c -expect 1
+       $(SPLINT) -exportlocal +bounds unknownsize.c arrayConstExpr.c -expect 1
 
This page took 0.026252 seconds and 4 git commands to generate.