From 1f8956fc770d4d8201c66e4d90f5acbae225d4d6 Mon Sep 17 00:00:00 2001 From: des Date: Sat, 24 Jan 2004 15:06:36 +0000 Subject: Include the hostname in the history file. --- tools/tools/tinderbox/tbmaster.pl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'tools') diff --git a/tools/tools/tinderbox/tbmaster.pl b/tools/tools/tinderbox/tbmaster.pl index cd7e10b..c96b483 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"; -- cgit v1.1