From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 10 Jan 2021 22:30:03 +0000 (+0000)
Subject: run1: Put our log filename at the front
X-Git-Tag: otter-0.3.0~103
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=c64be9052580a99fb6d83bab4cef11abe0c30140;p=otter.git

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 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