@@ -4,7 +4,7 @@ if [[ ${OSTYPE} = 'msys' ]]; then
4 cat expected # skip this test on Windows
4 cat expected # skip this test on Windows
6 ${IDRIS:-idris} $@ --build base001.ipkg | grep -v 'make.*:'
6 ${IDRIS:-idris} $@ --build base001.ipkg | grep -v 'make.*:'
7− ./base001
7+ ./base001 2>&1 | grep -v './does-not-exist: No such file or directory'
8 make clean | grep -v 'make.*:'
8 make clean | grep -v 'make.*:'
9 rm -f *.ibc base001
9 rm -f *.ibc base001