From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 10 Jan 2021 22:29:42 +0000 (+0000)
Subject: run1: Fix log filename for lwdt-* (--as-if)
X-Git-Tag: otter-0.3.0~104
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=f605ffba550d70360eadb42046a16f56b6c69a30;p=otter.git

run1: Fix log filename for lwdt-* (--as-if)

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

diff --git a/wdriver/run1 b/wdriver/run1
index 771d8a36..68d066a5 100755
--- a/wdriver/run1
+++ b/wdriver/run1
@@ -6,7 +6,7 @@ mkdir -p tmp
 
 lname="$tname"
 case "$1" in
---as-if=*)	lname="${1#--as-if}";;
+--as-if=*)	lname="${1#--as-if=}";;
 esac
 lname="$lname.log"