mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-11-27 07:21:09 +08:00
Configure OS cleanup.
This commit is contained in:
parent
08566431c4
commit
2a8bea900a
6
src/configure
vendored
6
src/configure
vendored
@ -641,10 +641,10 @@ starts 'checking host system type...'
|
||||
**************************************************************
|
||||
EOT
|
||||
TEMPLATE=generic
|
||||
GUESS=`grep "$host_os" template/.similar 2>/dev/null`
|
||||
GUESS=`grep "$host" template/.similar 2>/dev/null`
|
||||
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`
|
||||
then host_no_ver=`echo "$host" | sed 's/[0-9.]*$//'`
|
||||
GUESS=`grep "$host_no_ver" template/.similar 2>/dev/null`
|
||||
fi
|
||||
if test "$GUESS"
|
||||
then
|
||||
|
@ -79,10 +79,10 @@ starts 'checking host system type...'
|
||||
**************************************************************
|
||||
EOT
|
||||
TEMPLATE=generic
|
||||
GUESS=`grep "$host_os" template/.similar 2>/dev/null`
|
||||
GUESS=`grep "$host" template/.similar 2>/dev/null`
|
||||
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`
|
||||
then host_no_ver=`echo "$host" | sed 's/[[0-9.]]*$//'`
|
||||
GUESS=`grep "$host_no_ver" template/.similar 2>/dev/null`
|
||||
fi
|
||||
if test "$GUESS"
|
||||
then
|
||||
|
Loading…
Reference in New Issue
Block a user