diff options
| author | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-02-17 10:04:40 +0000 |
|---|---|---|
| committer | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-02-17 10:04:40 +0000 |
| commit | 6e2b4ccc44cc0e84337b9b74479c347985edab1c (patch) | |
| tree | 3610ee6a62ea7f073851aaa22ab1c4dbefcb4da9 /src/scripts | |
| parent | 1ee1cef2842f879d6b3c94a3b978e3dee6ad4e6c (diff) | |
Some changes to Linux configs to help with other libc OS.
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/os-type | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/scripts/os-type b/src/scripts/os-type index d747ae908..31b5bfcd7 100755 --- a/src/scripts/os-type +++ b/src/scripts/os-type @@ -1,5 +1,5 @@ #! /bin/sh -# $Cambridge: exim/src/scripts/os-type,v 1.1 2004/10/06 15:07:40 ph10 Exp $ +# $Cambridge: exim/src/scripts/os-type,v 1.2 2005/02/17 10:04:41 ph10 Exp $ # Shell script to determine the operating system type. Some of the heuristics # herein have accumulated over the years and may not strictly be needed now, @@ -21,6 +21,10 @@ case "$EXIM_OSTYPE" in ?*) os="$EXIM_OSTYPE";; esac case "$os" in '') os=`uname -s`;; esac +# Identify Glibc systems under different names. + +case "$os" in GNU|GNU/*|Linux) os=Linux;; esac + # It is believed that all systems respond to uname -s, but just in case # there is one that doesn't, use the shell's $OSTYPE variable. It is known # to be unhelpful for some systems (under IRIX is it "irix" and under BSDI |