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