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