git.iko.soy/Idris-dev
on 385dcbf help sign in
Idris-dev/test/base001/run
12 lines 290 B history raw
1#!/usr/bin/env bash
3set -u
5if [[ ${OSTYPE} = 'msys' ]]; then
6 cat expected # skip this test on Windows
7else
8 ${IDRIS:-idris} "$@" --build base001.ipkg | grep -v 'make.*:'
9 ./base001 2>&1 | grep -v '^sh:.*\./does-not-exist:'
10 make clean | grep -v 'make.*:'
11 rm -f -- *.ibc base001
12fi