Removed /bin/csh from tainted/Makefile

[splint.git] / test / moreBufferTests2 / Makefile

diff --git a/test/moreBufferTests2/Makefile b/test/moreBufferTests2/Makefile
index 0482a8183526d08c9709dff41ce101ae7ebef68c..45eb3294e7936dfd8b2b49fdd3c59a97ab37269e 100644 (file)
--- a/test/moreBufferTests2/Makefile
+++ b/test/moreBufferTests2/Makefile
@@ -3,5 +3,5 @@
 #SPLINT = splint
  
 check:
-       $(SPLINT) -exportlocal +arraybounds +arrayboundsread unknownsize.c arrayConstExpr.c
+       $(SPLINT) -exportlocal +bounds unknownsize.c arrayConstExpr.c -expect 1