diff options
| author | Bruce Momjian <bruce@momjian.us> | 1997-08-06 03:33:45 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 1997-08-06 03:33:45 +0000 |
| commit | 1ebc1280e83af2e0d5d130d1b34b52f501f68bbb (patch) | |
| tree | aaafdb1eb53680a1e228bcc6359c4ff8da2c8018 /src | |
| parent | b3d8beaa1ad8f0e472f8df0fac85710a3301c5a1 (diff) | |
| download | postgresql-1ebc1280e83af2e0d5d130d1b34b52f501f68bbb.tar.gz postgresql-1ebc1280e83af2e0d5d130d1b34b52f501f68bbb.zip | |
Fix for os version handling.
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 c264578f55c..400aa4c256e 100755 --- a/src/configure +++ b/src/configure @@ -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 diff --git a/src/configure.in b/src/configure.in index 989123ec8b7..2c60ff92054 100644 --- a/src/configure.in +++ b/src/configure.in @@ -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 |