Changed makefile to include line information in generated yacc/bison code (as I had...

[splint.git] / src / Makefile.in

diff --git a/src/Makefile.in b/src/Makefile.in
index ef07c15e2aff84ba8cbb2c01dc50f5f7e713dcde..baab77e5294df73f036b3abeb936faeb2f338c41 100644 (file)
--- 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