diff options
| author | Bruce Momjian <bruce@momjian.us> | 2000-01-19 17:27:04 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2000-01-19 17:27:04 +0000 |
| commit | ea1f6e00e65ad9b519379a2b3dcdcbf5414c22de (patch) | |
| tree | aaf02b4cb6aad589d729069f9b4fe6abf7ae212f /src | |
| parent | 0679a2c30e716c7cf39889641f77af8cc62a242d (diff) | |
| download | postgresql-ea1f6e00e65ad9b519379a2b3dcdcbf5414c22de.tar.gz postgresql-ea1f6e00e65ad9b519379a2b3dcdcbf5414c22de.zip | |
autoconf
Diffstat (limited to 'src')
| -rwxr-xr-x | src/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/configure b/src/configure index a6b88ba2be3..8e3865a55ef 100755 --- a/src/configure +++ b/src/configure @@ -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: *** |