From b359ec14a8e14f308eac684a9a30162dbe6cf91f Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 23 May 2019 17:16:41 +0200
Subject: [PATCH] autopilot: align output for wide board names

---
 tool/autopilot | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/autopilot b/tool/autopilot
index 4cd8130ee..679519c22 100755
--- a/tool/autopilot
+++ b/tool/autopilot
@@ -364,7 +364,7 @@ close $info_fd
 # Print label identifying the specified test case to stderr
 #
 proc print_step_label { platform kernel step } {
-	puts -nonewline stderr "[format {%-20s} "$platform $kernel:"] [format {%-22s} $step] "
+	puts -nonewline stderr "[format {%-30s} "$platform $kernel:"] [format {%-22s} $step] "
 }