Tidy stderr output from base001.
commitf652e053adab0ea45cd6394169f484159644be96
authorSteven Shaw <steven@steshaw.org>
dateMon 8 Aug 2016, 12:18 (10 years ago)
parentf645488
test/base001/run+1−1
@@ -4,7 +4,7 @@ if [[ ${OSTYPE} = 'msys' ]]; then
44 cat expected # skip this test on Windows
55else
66 ${IDRIS:-idris} $@ --build base001.ipkg | grep -v 'make.*:'
7− ./base001
7+ ./base001 2>&1 | grep -v './does-not-exist: No such file or directory'
88 make clean | grep -v 'make.*:'
99 rm -f *.ibc base001
1010fi