]> andersk Git - splint.git/blobdiff - test/simplebufferConstraintTests/Makefile
Renaming - LCLint => Splint
[splint.git] / test / simplebufferConstraintTests / Makefile
index fc93a61e1fb702de9e6b4c767a383a9c96111aaf..bf8cd75f2c95ec51b9270fa2bd7d6c9c06900930 100644 (file)
@@ -1,8 +1,8 @@
 .PHONY: check
 
-LCLINT = lclint -exportlocal
+SPLINT = splint -exportlocal
  
 check:
-       $(LCLINT) +arraybounds +arrayboundsread m.c sizeof.c test3.c test7.c -expect 7
+       $(SPLINT) +arraybounds +arrayboundsread m.c sizeof.c test3.c test7.c -expect 7
 
 
This page took 0.12514 seconds and 4 git commands to generate.