From 8a21134be1c7c40091b448a9eaeecb0b95c32ef0 Mon Sep 17 00:00:00 2001
From: "ramiro%netscape.com"
 <ramiro%netscape.com@18797224-902f-48f8-a5cc-f745e15eee43>
Date: Wed, 22 Jul 1998 04:53:19 +0000
Subject: [PATCH] Allow the user to override the default host identity.

git-svn-id: svn://10.0.0.236/trunk@6149 18797224-902f-48f8-a5cc-f745e15eee43
---
 mozilla/config/mkdetect/detect_hostident.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/mozilla/config/mkdetect/detect_hostident.sh b/mozilla/config/mkdetect/detect_hostident.sh
index 9d2d6bc7e6e..39a2f2dfef7 100755
--- a/mozilla/config/mkdetect/detect_hostident.sh
+++ b/mozilla/config/mkdetect/detect_hostident.sh
@@ -27,6 +27,14 @@
 ##
 ##############################################################################
 
+# Allow the user to override the default host identity
+if [ -n "$MOZILLA_HOSTIDENT" ]
+then
+	echo $MOZILLA_HOSTIDENT
+
+	exit
+fi
+
 HOSTIDENT_ARCH=`uname -s`
 
 # Determine the host name