Merge pull request #3348 from steshaw/tidy-stderr-output-from-base001
Tidy stderr output from base001
commite8d356f2508128a8e962393f7047dac8387c8f3c
authorNiklas Larsson <metaniklas@gmail.com>
dateFri 12 Aug 2016, 19:31 (10 years ago)
parent0e6a10ac4d6e83
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
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