From 9813ba425fa5eb86a7a18a83cdd4408437dfa67c Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Tue, 31 Jan 2012 14:08:10 -0500
Subject: [PATCH] Show how the machine identifies itself.

This includes `uname', and trying hard to get a domain name when `uname'
doesn't include one.
---
 collects/meta/build/build | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/collects/meta/build/build b/collects/meta/build/build
index df7a9b4362..e16bbbc2e5 100755
--- a/collects/meta/build/build
+++ b/collects/meta/build/build
@@ -1175,6 +1175,19 @@ DO_BUILD() { # inputs -- releasing
 
   header -s "Starting build"
 
+  local machine_name="$(uname -n)"
+  if [[ "$machine_name" != *.* ]]; then
+    if [[ "$(uname -o)" = "Cygwin" ]]; then
+      machine_name="$machine_name ($(ipconfig | \
+                      grep "Connection-specific DNS Suffix" | \
+                      sed -e 's/^[^:]*: *//' | \
+                      sort -u | grep "[.]"))"
+    else
+      machine_name="$(hostname -f)"
+    fi
+  fi
+  show "Machine identifies as $machine_name: $(uname -a)"
+
   if [[ "$renice" != "" ]]; then dont_exit _run renice "$renice" "$$"; fi
 
   export PLTHOME="$workdir/$installdir" PATH="$PLTHOME/bin:$PATH"