From f605ffba550d70360eadb42046a16f56b6c69a30 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 10 Jan 2021 22:29:42 +0000
Subject: [PATCH] run1: Fix log filename for lwdt-* (--as-if)

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