diff options
| author | des <des@FreeBSD.org> | 2004-06-05 11:09:34 +0000 |
|---|---|---|
| committer | des <des@FreeBSD.org> | 2004-06-05 11:09:34 +0000 |
| commit | 3f808f2fddbfe4e27c48febce7ba604d3867b99c (patch) | |
| tree | 54238f7e2d529cf81b25ae14249925d6dc8341b6 /tools | |
| parent | 6fdbcee136d7b479c9deb2902662a9bfe9815104 (diff) | |
| download | FreeBSD-src-3f808f2fddbfe4e27c48febce7ba604d3867b99c.zip FreeBSD-src-3f808f2fddbfe4e27c48febce7ba604d3867b99c.tar.gz | |
Log the config name in the history file.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/tools/tinderbox/tbmaster.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/tools/tinderbox/tbmaster.pl b/tools/tools/tinderbox/tbmaster.pl index bd01bc2..c3eedcf 100644 --- a/tools/tools/tinderbox/tbmaster.pl +++ b/tools/tools/tinderbox/tbmaster.pl @@ -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"; |
