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 771d8a369a62ddb04e2672fa85cda738e6a4875f..68d066a558de37c97d3136fbd688754820187dc5 100755 (executable)
--- 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"