idris-0.12.3: test/basic010/run
#!/usr/bin/env bash
set -eu
TIMEOUT=../scripts/timeout
$TIMEOUT 10 "${IDRIS:-idris}" "$@" Main.idr --nocolour --check --warnreach -o basic010
$TIMEOUT 5 ./basic010
rm -f -- *.ibc basic010
#!/usr/bin/env bash
set -eu
TIMEOUT=../scripts/timeout
$TIMEOUT 10 "${IDRIS:-idris}" "$@" Main.idr --nocolour --check --warnreach -o basic010
$TIMEOUT 5 ./basic010
rm -f -- *.ibc basic010