git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/basic010/run.sh
10 lines 194 B history raw
1#!/usr/bin/env bash
3set -eu
5TIMEOUT=../scripts/timeout
7$TIMEOUT 20 "${IDRIS:-idris}" "$@" Main.idr --nocolour --check --warnreach -o basic010
8$TIMEOUT 20 ./basic010
10rm -f -- *.ibc basic010