From c64be9052580a99fb6d83bab4cef11abe0c30140 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 10 Jan 2021 22:30:03 +0000
Subject: [PATCH] run1: Put our log filename at the front

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 wdriver/run1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wdriver/run1 b/wdriver/run1
index 68d066a5..555c0bdf 100755
--- a/wdriver/run1
+++ b/wdriver/run1
@@ -15,6 +15,6 @@ case "${PIPESTATUS[*]}" in
 "0 0")	exit 0;
 esac
 
-tail -40 <tmp/"$lname"
+tail -40 <tmp/"$lname" | sed -e "s/^/${lname%.log}: /"
 
 exit 1
-- 
2.30.2