]> andersk Git - splint.git/blobdiff - test/maxset/Makefile
Renaming - LCLint => Splint
[splint.git] / test / maxset / Makefile
index 9ed022b385137d3eeabe57fa2da3a0e1d823bd5c..8807cececb2cf94dd59e63954eecd47dc4554ef5 100644 (file)
@@ -1,7 +1,7 @@
 .PHONY: check
 
-LCLINT = lclint -exportlocal
+SPLINT = splint -exportlocal
  
 check:
-       $(LCLINT) +arraybounds maxsetannotations.c
-       $(LCLINT) +arraybounds maxsetnoannotations.c -expect 1
+       $(SPLINT) +arraybounds maxsetannotations.c
+       $(SPLINT) +arraybounds maxsetnoannotations.c -expect 1
This page took 0.029911 seconds and 4 git commands to generate.