mirror of
https://github.com/postgres/postgres.git
synced 2026-02-28 20:30:45 -05:00
Fix for os version handling.
This commit is contained in:
parent
b3d8beaa1a
commit
1ebc1280e8
2 changed files with 6 additions and 6 deletions
6
src/configure
vendored
6
src/configure
vendored
|
|
@ -642,11 +642,11 @@ starts 'checking host system type...'
|
|||
EOT
|
||||
TEMPLATE=generic
|
||||
GUESS=`grep "$host_os" template/.similar 2>/dev/null`
|
||||
if test $GUESS
|
||||
then host_os_no_ver=`grep "$host_os" | sed 's/0-9.*$//'`
|
||||
if test ! "$GUESS"
|
||||
then host_os_no_ver=`echo "$host_os" | sed 's/[0-9.]*$//'`
|
||||
GUESS=`grep "$host_os_no_ver" template/.similar 2>/dev/null`
|
||||
fi
|
||||
if test $GUESS
|
||||
if test "$GUESS"
|
||||
then
|
||||
TEMPLATE=`echo $GUESS | sed 's/.*=//'`
|
||||
fi
|
||||
|
|
|
|||
|
|
@ -80,11 +80,11 @@ starts 'checking host system type...'
|
|||
EOT
|
||||
TEMPLATE=generic
|
||||
GUESS=`grep "$host_os" template/.similar 2>/dev/null`
|
||||
if test $GUESS
|
||||
then host_os_no_ver=`grep "$host_os" | sed 's/[0-9.]*$//'`
|
||||
if test ! "$GUESS"
|
||||
then host_os_no_ver=`echo "$host_os" | sed 's/[0-9.]*$//'`
|
||||
GUESS=`grep "$host_os_no_ver" template/.similar 2>/dev/null`
|
||||
fi
|
||||
if test $GUESS
|
||||
if test "$GUESS"
|
||||
then
|
||||
TEMPLATE=`echo $GUESS | sed 's/.*=//'`
|
||||
fi
|
||||
|
|
|
|||
Loading…
Reference in a new issue