idris-1.3.3: test/reg039/run.sh
#!/usr/bin/env bash
set -eu
TIMEOUT=../scripts/timeout
$TIMEOUT 60 "${IDRIS:-idris}" "$@" --nocolour reg039.idr --exec go
rm -f *.ibc
#!/usr/bin/env bash
set -eu
TIMEOUT=../scripts/timeout
$TIMEOUT 60 "${IDRIS:-idris}" "$@" --nocolour reg039.idr --exec go
rm -f *.ibc