From 9538c775a17e6876578ab1b962923200c1111ccf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dag-Erling=20Sm=C3=B8rgrav?= <des@FreeBSD.org>
Date: Sat, 24 Jan 2004 15:06:36 +0000
Subject: [PATCH] Include the hostname in the history file.

---
 tools/tools/tinderbox/tbmaster.pl | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/tools/tools/tinderbox/tbmaster.pl b/tools/tools/tinderbox/tbmaster.pl
index cd7e10bbaca9..c96b4836210d 100644
--- a/tools/tools/tinderbox/tbmaster.pl
+++ b/tools/tools/tinderbox/tbmaster.pl
@@ -130,13 +130,14 @@ sub history($$$) {
     my $end = shift;
     my $success = shift;
 
-    my $history = strftime("%Y-%m-%d %H:%M:%S\t", localtime($start));
+    my $history = expand('HOSTNAME') . "\t";
+    $history .= strftime("%Y-%m-%d %H:%M:%S\t", localtime($start));
     $history .= strftime("%Y-%m-%d %H:%M:%S\t", localtime($end));
     $history .= expand('ARCH') . "\t";
     $history .= expand('MACHINE') . "\t";
     my $date = expand('DATE');
     if ($date) {
-	$date =~ s/\s+/\t/g;
+	$date =~ s/\s+/ /g;
 	$history .= expand('BRANCH') . ":" . expand('DATE') . "\t";
     } else {
 	$history .= expand('BRANCH') . "\t";