run1: Put our log filename at the front

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/wdriver/run1 b/wdriver/run1
index 68d066a558de37c97d3136fbd688754820187dc5..555c0bdfb69c5af6b42d613f249bad481e2f1bc4 100755 (executable)
--- 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