head(1) is not portable (-n 1 not præ-POSIX/ancient, -1 not busybox)

⇒ use sed(1)

bug spotted by wbx@

check.t

@@ -1,4 +1,4 @@
-# $MirOS: src/bin/mksh/check.t,v 1.722 2016/01/21 18:24:35 tg Exp $
+# $MirOS: src/bin/mksh/check.t,v 1.723 2016/02/11 20:19:44 tg Exp $
 # -*- mode: sh -*-
 #-
 # Copyright © 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010,
@@ -12183,7 +12183,7 @@ stdin:
 name: xtrace-1
 description:
 	Check that "set -x" doesn't redirect too quickly
-stdin:
+stdin:
 	print '#!'"$__progname" >bash
 	cat >>bash <<'EOF'
 	echo 'GNU bash, version 2.05b.0(1)-release (i386-ecce-mirbsd10)