diff options
| -rw-r--r-- | tools/tools/tinderbox/tinderbox.pl | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl index 84ea09689705..2104f70d73a7 100644 --- a/tools/tools/tinderbox/tinderbox.pl +++ b/tools/tools/tinderbox/tinderbox.pl @@ -58,7 +58,7 @@ my %cmds = ( sub message(@) { - my $msg = join(' ', "TB ***", @_); + my $msg = join(' ', "TB ---", @_); chomp($msg); print("$msg\n"); } @@ -209,9 +209,7 @@ sub logstage($) { my $msg = shift; chomp($msg); - print(STDERR "TB ", "*"x74, "\n"); - print(STDERR strftime("TB *** %Y-%m-%d %H:%M:%S - $msg\n", localtime())); - print(STDERR "TB ", "*"x74, "\n"); + print(STDERR strftime("TB --- %Y-%m-%d %H:%M:%S - $msg\n", localtime())); } sub sigwarn { |