]> andersk Git - splint.git/blobdiff - test/mergestate/Makefile
Renaming - LCLint => Splint
[splint.git] / test / mergestate / Makefile
index 93fd50deaf30bb2e997da7b0dc3803ba99ceb25e..3c1850426f6925315c3bb69e5291809adffd77f2 100644 (file)
@@ -1,9 +1,9 @@
 .PHONY: tainted 
 
-LCLINT = lclint
+SPLINT = splint
 
 all: tainted 
 
 tainted:
-       ${LCLINT} -mts taintednm taintednm.c -mustfree -exportlocal -expect 2
-       ${LCLINT} -mts tainted taintednm.c -mustfree -exportlocal -expect 4
+       ${SPLINT} -mts taintednm taintednm.c -mustfree -exportlocal -expect 2
+       ${SPLINT} -mts tainted taintednm.c -mustfree -exportlocal -expect 4
This page took 0.304758 seconds and 4 git commands to generate.