]> andersk Git - splint.git/blobdiff - test/for/Makefile
Cleaned up flags to generate manual help.
[splint.git] / test / for / Makefile
index 2a32e3e176b2c89409c611e113a9b71d23f2a67f..4d7a79b7d5098499d2f809df37277e34de059082 100644 (file)
@@ -3,6 +3,6 @@
 SPLINT = splint -exportlocal
  
 check:
-       $(SPLINT) +arraybounds +arrayboundsread for.c -expect 1
+       $(SPLINT) +bounds for.c -expect 1
 
 
This page took 0.033451 seconds and 4 git commands to generate.