From c0904228f21027c4f358fedfcf330f8c483ebb81 Mon Sep 17 00:00:00 2001 From: Sylvie <35663410+Rangi42@users.noreply.github.com> Date: Wed, 3 Jul 2024 07:37:04 -0400 Subject: [PATCH] Fix bison.sh for patch-less bison versions (#1416) --- src/bison.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bison.sh b/src/bison.sh index 661a8c28..41a635df 100755 --- a/src/bison.sh +++ b/src/bison.sh @@ -5,7 +5,7 @@ OUTPUT_CPP="${1:?}" INPUT_Y="${2:?}" BISON_MAJOR=$(bison -V | sed -E 's/^.+ ([0-9]+)\..*$/\1/g;q') -BISON_MINOR=$(bison -V | sed -E 's/^.+ [0-9]+\.([0-9]+)\..*$/\1/g;q') +BISON_MINOR=$(bison -V | sed -E 's/^.+ [0-9]+\.([0-9]+)(\..*)?$/\1/g;q') if [ "$BISON_MAJOR" -lt 3 ]; then echo "Bison $BISON_MAJOR.$BISON_MINOR is not supported" 1>&2