diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3577,7 +3577,7 @@ else then echo '%%' > conftest.l if $pgac_candidate -t conftest.l 2>/dev/null | grep FLEX_SCANNER >/dev/null 2>&1; then - if $pgac_candidate --version | grep '2\.5\.3' >/dev/null 2>&1; then + if $pgac_candidate --version | grep '2\.5\.3$' >/dev/null 2>&1; then pgac_broken_flex=$pgac_candidate continue fi |
