From fb38fe56aabdcd270e634cb21bac6113aed38599 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 2 Oct 2012 18:20:53 +0200 Subject: [PATCH] * src/sanity/includes.test: Work around a bug in Bison 2.6. --- src/sanity/includes.test | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/sanity/includes.test b/src/sanity/includes.test index 355e1d8e4..9e57375a1 100755 --- a/src/sanity/includes.test +++ b/src/sanity/includes.test @@ -16,6 +16,10 @@ for file in `find "$INCDIR" \( -name "${1-*}.hh" \ b=`echo "$file" | tr '[/.a-z]' '[__A-Z]'` if grep "[ ]*#.*def.* SPOT_$b\$" "$INCDIR/$file" >/dev/null; then : + elif grep 'GNU Bison 2\.6' "$INCDIR/$file" >/dev/null; then + # Bison 2.6, 2.6.1, 2.6.2 have a bug where position.hh + # include instead of . + continue elif grep 'GNU Bison' "$INCDIR/$file" >/dev/null; then : else