@@ -1,10 +1,12 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
3if [[ ${OSTYPE} = 'msys' ]]; then
5if [[ ${OSTYPE} = 'msys' ]]; then
4 cat expected # skip this test on Windows
6 cat expected # skip this test on Windows
6− ${IDRIS:-idris} $@ --build base001.ipkg | grep -v 'make.*:'
8+ ${IDRIS:-idris} "$@" --build base001.ipkg | grep -v 'make.*:'
7− ./base001
9+ ./base001 2>&1 | grep -v '^sh:.*\./does-not-exist:'
8 make clean | grep -v 'make.*:'
10 make clean | grep -v 'make.*:'
9− rm -f *.ibc base001
11+ rm -f -- *.ibc base001