Make test totality010 work when ncurses is enabled
commitd846ce79de2957e7b33b6477a408c3c6d983b078
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateWed 9 Sep 2015, 01:51 (11 years ago)
parentc6acf7f
test/totality010/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−idris $@ totality010.idr --check
2+idris $@ totality010.idr --nocolour --consolewidth 80 --check
33rm -f *.ibc