X-Git-Url: https://git.exim.org/users/jgh/exim.git/blobdiff_plain/61ec970df30325dbcd8c9d0f0e431dc793126656..c2c19e9d1770ce26d595d9300f1f2e8c68125ba4:/src/scripts/os-type

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