diff options
| author | Bruce Momjian | 1997-08-02 16:32:51 +0000 |
|---|---|---|
| committer | Bruce Momjian | 1997-08-02 16:32:51 +0000 |
| commit | 105889e1d83407250cf5e3f08045261f70e4e0e2 (patch) | |
| tree | 134878d57a2fbee8f3580eb6b140f73c204277be /src/configure.in | |
| parent | 4b965f57589a9b24254e41154940eb0307808c1b (diff) | |
Makei configure less os-version specific, were possible.
Diffstat (limited to 'src/configure.in')
| -rw-r--r-- | src/configure.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/configure.in b/src/configure.in index eb2c8b184fd..989123ec8b7 100644 --- a/src/configure.in +++ b/src/configure.in @@ -79,7 +79,11 @@ starts 'checking host system type...' ************************************************************** EOT TEMPLATE=generic - GUESS=`grep "$host_os=" template/.similar 2>/dev/null` + GUESS=`grep "$host_os" template/.similar 2>/dev/null` + if test $GUESS + then host_os_no_ver=`grep "$host_os" | sed 's/[0-9.]*$//'` + GUESS=`grep "$host_os_no_ver" template/.similar 2>/dev/null` + fi if test $GUESS then TEMPLATE=`echo $GUESS | sed 's/.*=//'` |