Cleaned up flags to generate manual help.

[splint.git] / test / manual / Makefile

diff --git a/test/manual/Makefile b/test/manual/Makefile
index 89b225df08e40fd11e925bbe14a8c7a91fa82cea..8c7de7883f37225186fb1acfb595bb75b2d9de4d 100755 (executable)
--- a/test/manual/Makefile
+++ b/test/manual/Makefile
@@ -146,22 +146,22 @@ names: names.c
 
 .PHONY: setChar
 setChar: setChar.c
-       $(SPLINT) $(SPLINTFLAGS) setChar.c +arraybounds +arrayboundsread -exportlocal +constraintlocation -expect 1
+       $(SPLINT) $(SPLINTFLAGS) setChar.c +bounds -exportlocal +showconstraintlocation -expect 1
 
 
 .PHONY: multiError
 multiError: multiError.c
-       $(SPLINT) $(SPLINTFLAGS) multiError.c +arraybounds +arrayboundsread -exportlocal +constraintlocation -expect 1
+       $(SPLINT) $(SPLINTFLAGS) multiError.c +bounds -exportlocal +showconstraintlocation -expect 1
 
 
 .PHONY: updateMyEnv
 updateMyEnv: updateMyEnv.c
-       $(SPLINT) $(SPLINTFLAGS) updateMyEnv.c +arraybounds +arrayboundsread -exportlocal +constraintlocation -expect 1
+       $(SPLINT) $(SPLINTFLAGS) updateMyEnv.c +bounds -exportlocal +showconstraintlocation -expect 1
 
 
 .PHONY: updateMyEnvGood
 updateMyEnvGood: updateMyEnvGood.c
-       $(SPLINT) $(SPLINTFLAGS) updateMyEnvGood.c +arraybounds +arrayboundsread -exportlocal +constraintlocation -expect 0
+       $(SPLINT) $(SPLINTFLAGS) updateMyEnvGood.c +bounds -exportlocal +showconstraintlocation -expect 0
 
 clean: 
        -rm -f core a.out *.*~