]> andersk Git - splint.git/commitdiff
Changed makefile to include line information in generated yacc/bison code (as I had...
authorbpringlemeir <bpringlemeir>
Wed, 30 Sep 2009 20:44:17 +0000 (20:44 +0000)
committerbpringlemeir <bpringlemeir>
Wed, 30 Sep 2009 20:44:17 +0000 (20:44 +0000)
src/Makefile.am
src/Makefile.in

index e6a3a3adf1c1d8df28d15bfc021bb2e53055f7a5..86f467f04b599eb575119043ba280bc9fdfeef4f 100644 (file)
@@ -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
index ef07c15e2aff84ba8cbb2c01dc50f5f7e713dcde..baab77e5294df73f036b3abeb936faeb2f338c41 100644 (file)
@@ -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
This page took 0.03637 seconds and 5 git commands to generate.