#!/bin/sh
set -e
sed -e '
	/^PATH=/d;
	/^mawk -W version/ s/$/ 2>&1/;
' <test/mawktest >"$TMPDIR/mawktest"
chmod +x "$TMPDIR/mawktest"
cd test
"$TMPDIR/mawktest"
