Turn off noise for now.

CVS patchset: 3299 CVS date: 1999/09/17 22:06:32
1999-09-17 22:06:32 +00:00 · 1999-09-17 22:06:32 +00:00 · d0d0eefa53
parent 8258a9497e
commit d0d0eefa53
1 changed files with 8 additions and 1 deletions
--- a/lib/.lclintrc
+++ b/lib/.lclintrc
@ -1,4 +1,4 @@
-I. -I.. -DHAVE_CONFIG_H
+-I. -I.. -I../build -I../popt -DHAVE_CONFIG_H

 +partial

@ -7,6 +7,13 @@

 +unixlib

+# don't-bother-me-yet parameters
+-branchstate
+-immediatetrans
+-mustfree
+-observertrans
+-statictrans
+
 # not-yet normal parameters
 -boolops		# w->n
 -fixedformalarray