blob: e637d73c985235aac5f7557f385fecef42e6df4c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
--- /tmp/configure 1999-11-17 12:09:38.000000000 -0800
+++ ./configure 2003-03-02 20:10:38.000000000 -0800
@@ -1836,7 +1836,8 @@
if test $BISON != "error"; then
- bison_version=`$BISON --version | sed 's/^.*version 1.//g'`
+ bison_version=`$BISON --version | sed -ne 's/^.*\(version\|(GNU Bison)\) 1\.//p'`
+
if test `echo $bison_version | sed 's/\..*$//g'` -lt 25; then
echo "configure: warning: Your bison is a bit old (1.$bison_version). You might have to install 1.25" 1>&2
|
GitWeb
