Use file containing non-UTF-8 character instead of echo -e

This commit is contained in:
varkor 2018-01-31 11:56:15 +00:00
parent 00a33d685b
commit a43d7eb3dd
2 changed files with 3 additions and 1 deletions

View file

@ -1,5 +1,6 @@
-include ../tools.mk
all:
echo -e '\xD2' | $(RUSTC) - 2>&1 \
cp non-utf8 $(TMPDIR)/non-utf.rs
cat $(TMPDIR)/non-utf.rs | $(RUSTC) - 2>&1 \
| $(CGREP) "error: couldn't read from stdin, as it did not contain valid UTF-8"

View file

@ -0,0 +1 @@
<EFBFBD>