diff options
| author | Bruce Momjian <bruce@momjian.us> | 1997-09-21 22:54:19 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 1997-09-21 22:54:19 +0000 |
| commit | 2a8bea900a3c3a239b87ae0dd171517132b814a6 (patch) | |
| tree | 4788df9c57dd2c6bf1aae2fe4bee5fbb0967ee74 /src | |
| parent | 08566431c47de590b140949bca4f6fc69903c52a (diff) | |
| download | postgresql-2a8bea900a3c3a239b87ae0dd171517132b814a6.tar.gz postgresql-2a8bea900a3c3a239b87ae0dd171517132b814a6.zip | |
Configure OS cleanup.
Diffstat (limited to 'src')
| -rwxr-xr-x | src/configure | 6 | ||||
| -rw-r--r-- | src/configure.in | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/src/configure b/src/configure index 724226ebcd7..e620511d8c8 100755 --- a/src/configure +++ b/src/configure @@ -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 diff --git a/src/configure.in b/src/configure.in index 5b279e86693..c0fa45786da 100644 --- a/src/configure.in +++ b/src/configure.in @@ -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 |