From: bpringlemeir <bpringlemeir>
Date: Wed, 30 Sep 2009 20:44:17 +0000 (+0000)
Subject: Changed makefile to include line information in generated yacc/bison code (as I had... 
X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/8eb667dd54d990a5b60df9c2a535c8b30c714bfa

Changed makefile to include line information in generated yacc/bison code (as I had already commited the 'der' variants.
---

diff --git a/src/Makefile.am b/src/Makefile.am
index e6a3a3a..86f467f 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -10,7 +10,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
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