Make cycle test work with Curses Idris
commitab62c98f99a4d9343c7857dfb40494098e0dcca5
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateFri 16 Oct 2015, 01:02 (11 years ago)
parent1edba41
test/basic016/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−idris $@ CycleA.idr --check
2+idris $@ CycleA.idr --consolewidth 80 --nocolour --check
33rm -f *.ibc