Cleaned up flags to generate manual help.

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index 401d331073510f02292416915328372a9c889d6b..5959dbca4a5f336b2b2e16a335723e24ba6a8745 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -1074,7 +1074,7 @@ compdestroy:
 
 .PHONY: constannot
 constannot:
-       ${SPLINTRN} constannot.c +arraybounds  -exportlocal -expect 2
+       ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2
 
 .PHONY: csyntax
 csyntax:
@@ -1319,7 +1319,7 @@ mongoincludes:
 
 .PHONY: mystrncat
 mystrncat:
-       -$(SPLINTR) mystrncat.c +arraybounds  +arrayboundsread -expect 4 
+       -$(SPLINTR) mystrncat.c +boundsread +boundswrite -expect 4 
 
 .PHONY: noeffect
 noeffect:
@@ -1624,11 +1624,11 @@ freearray:
 
 .PHONY: sizeof
 sizeof:
-       -$(SPLINTR) +arraybounds +arrayboundsread sizeof.c -expect 1
+       -$(SPLINTR) +bounds sizeof.c -expect 1
 
 .PHONY: buffertest
 buffertest:
-       -$(SPLINTR) +arraybounds +arrayboundsread buffertest1.c -expect 5
+       -$(SPLINTR) +bounds buffertest1.c -expect 5
 
 .PHONY: $(SUBDIRTESTS)
 $(SUBDIRTESTS):