diff --git a/tools/tools/tinderbox/tbmaster.pl b/tools/tools/tinderbox/tbmaster.pl index c3eedcf4e3c5..12d7a87f38ce 100644 --- a/tools/tools/tinderbox/tbmaster.pl +++ b/tools/tools/tinderbox/tbmaster.pl @@ -199,6 +199,7 @@ sub tinderbox($$$) { my $arch = shift; my $machine = shift; + my $config = expand('CONFIG'); my $start = time(); $CONFIG{'BRANCH'} = $branch; @@ -206,7 +207,8 @@ sub tinderbox($$$) { $CONFIG{'MACHINE'} = $machine; # Open log files: one for the full log and one for the summary - my $logfile = expand('LOGDIR') . "/tinderbox-$branch-$arch-$machine"; + my $logfile = expand('LOGDIR') . + "/tinderbox-$config-$branch-$arch-$machine"; local (*FULL, *BRIEF); if (!open(FULL, ">", "$logfile.full.$$")) { warn("$logfile.full.$$: $!\n"); @@ -461,6 +463,11 @@ MAIN:{ chdir($etcdir) or die("$etcdir: $!\n"); } + for (my $n = 0; $n < @configs; ++$n) { + $configs[$n] =~ m/^(\w+)$/ + or die("invalid config: $configs[$n]\n"); + $configs[$n] = $1; + } # Run all specified or implied configurations foreach my $config (@configs) {