mirror/postgresql
2
0
Fork 0
mirror of https://git.postgresql.org/git/postgresql.git synced 2025-01-06 15:24:56 +08:00
Code Issues Packages Projects Releases Wiki Activity

autoconf

Browse Source
This commit is contained in:
Bruce Momjian 2000-01-19 17:27:04 +00:00
parent 0679a2c30e
commit ea1f6e00e6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/configure vendored
View File

@ -1861,7 +1861,7 @@ fi
fi
if test "$LEX" = "flex"; then
$LEX --version 2> /dev/null | grep -s '2\.5\.3' >& /dev/null
$LEX --version 2> /dev/null | grep -s '2\.5\.3' > /dev/null 2>&1
if test $? -eq 0 ; then
echo "configure: warning:
***