use consistent filename

This commit is contained in:
Mark Andrews
2017-10-26 11:43:20 +11:00
parent 96ebb55501
commit 3056d6f532

View File

@@ -43,7 +43,7 @@ check_stderr() {
[ -s err.$n ] || return 0
fi
echo "D:stderr did not match '$err'"
sed 's/^/D:/' err
sed 's/^/D:/' err.$n
fail
}