Improved tracking of state change locations. Added +showdeephistory

[splint.git] / test / strchr / Makefile

diff --git a/test/strchr/Makefile b/test/strchr/Makefile
index b92ee0e9d6430e4ac322a5f9b100eca8ae51cc5f..e56e3f2f28237efea1483ce57503ec606cd24b04 100644 (file)
--- a/test/strchr/Makefile
+++ b/test/strchr/Makefile
@@ -1,8 +1,8 @@
 .PHONY: check
 
-LCLINT = lclint -exportlocal
+SPLINT = splint -exportlocal
  
 check:
-       $(LCLINT) +arraybounds +arrayboundsread  strchr.c -expect 2
+       $(SPLINT) +bounds strchr.c -expect 2