updating to make tree consistent for start at cert

[splint.git] / src / Makefile

diff --git a/src/Makefile b/src/Makefile
index c6a253634c61793dd168f11111f7b1d9f494fbb7..ced5c724b2acce66c1343056030a03681b2129c2 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -46,6 +46,8 @@ include Makefile.sys
 
 CHECK = 0 ### set to 1
 
+LCLINT = //tmp/lclint-2.5q/bin/lclint
+
 ###
 ### source files
 ###
@@ -311,7 +313,7 @@ $(CHECKS): lclint.lcd
 ### 
 
 lint: 
-       $(LCLINT) -f lclint.lclintrc $(CPPFLAGS) +singleinclude -nestcomments -mustfree -namechecks -abstract -boolops -protoparammatch  $(ALLSRC) -dump lclint
+       $(LCLINT) -f lclint.lclintrc $(CPPFLAGS) +singleinclude -nestcomments -mustfree -namechecks -abstract -boolops -protoparammatch -unqualifiedtrans -dependenttrans $(ALLSRC) -dump lclint