diff options
| author | Bruce Momjian | 1997-09-21 22:54:19 +0000 |
|---|---|---|
| committer | Bruce Momjian | 1997-09-21 22:54:19 +0000 |
| commit | 2a8bea900a3c3a239b87ae0dd171517132b814a6 (patch) | |
| tree | 4788df9c57dd2c6bf1aae2fe4bee5fbb0967ee74 /src/configure | |
| parent | 08566431c47de590b140949bca4f6fc69903c52a (diff) | |
Configure OS cleanup.
Diffstat (limited to 'src/configure')
| -rwxr-xr-x | src/configure | 6 |
1 files changed, 3 insertions, 3 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 |