X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/1490eb90f6ab42a8818fea08ace686223cf12ae3..8eb667dd54d990a5b60df9c2a535c8b30c714bfa:/src/Makefile.in

diff --git a/src/Makefile.in b/src/Makefile.in
index ef07c15..baab77e 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -276,7 +276,7 @@ CHECK = 1
 # Some preferences
 ### We use the no-lines option to prevent confusion with splint flag settings.
 ### Should fix splint to avoid this...
-YFLAGS = -v -t -d --debug
+YFLAGS = -v -t -d --debug --no-lines
 LFLAGS = -L
 BISON_SRC = cgrammar.y  llgrammar.y  mtgrammar.y  signature.y
 AM_CPPFLAGS = -IHeaders