Log the config name in the history file.

This commit is contained in:
des 2004-06-05 11:09:34 +00:00
parent 6fdbcee136
commit 3f808f2fdd

View File

@ -142,6 +142,7 @@ sub history($$$) {
my $success = shift;
my $history = expand('HOSTNAME') . "\t";
$history .= expand('CONFIG') . "\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";