Changed lint flags

diff --git a/util/ego/sr/Makefile b/util/ego/sr/Makefile
index d9a276b..857de69 100644 (file)
--- a/util/ego/sr/Makefile
+++ b/util/ego/sr/Makefile
@@ -7,7 +7,7 @@ SHR=../share
 LDFLAGS=-i
 CPPFLAGS=-DVERBOSE -DNOTCOMPACT
 CFLAGS=$(CPPFLAGS) -O
-LINTFLAGS=-hbac
+LINTFLAGS=-hbu
 
 CFILES=\
 sr.c sr_iv.c sr_reduce.c sr_cand.c sr_xform.c sr_expr.c sr_aux.c