Cleaned up flags to generate manual help.

[splint.git] / test / maxset / Makefile

diff --git a/test/maxset/Makefile b/test/maxset/Makefile
index 8807cececb2cf94dd59e63954eecd47dc4554ef5..3fd00cf11ea7e066616414204406a22393934750 100644 (file)
--- a/test/maxset/Makefile
+++ b/test/maxset/Makefile
@@ -3,5 +3,5 @@
 SPLINT = splint -exportlocal
  
 check:
-       $(SPLINT) +arraybounds maxsetannotations.c
-       $(SPLINT) +arraybounds maxsetnoannotations.c -expect 1
+       $(SPLINT) +boundswrite maxsetannotations.c
+       $(SPLINT) +boundswrite maxsetnoannotations.c -expect 1