Tidy stderr from `base001` more portably.
commitc4d6e833c104ead1fbca5e28e992ee52e259ee1e
authorSteven Shaw <steven@steshaw.org>
dateMon 8 Aug 2016, 13:31 (10 years ago)
parentf652e05
test/base001/run+5−3
@@ -1,10 +1,12 @@
11#!/usr/bin/env bash
22
3+set -u
4+
35if [[ ${OSTYPE} = 'msys' ]]; then
46 cat expected # skip this test on Windows
57else
6− ${IDRIS:-idris} $@ --build base001.ipkg | grep -v 'make.*:'
7− ./base001 2>&1 | grep -v './does-not-exist: No such file or directory'
8+ ${IDRIS:-idris} "$@" --build base001.ipkg | grep -v 'make.*:'
9+ ./base001 2>&1 | grep -v '^sh:.*\./does-not-exist:'
810 make clean | grep -v 'make.*:'
9− rm -f *.ibc base001
11+ rm -f -- *.ibc base001
1012fi