Merge pull request #2595 from Melvar/fix-tests
Make test totality010 work when ncurses is enabled
commit70d197efd4b61e96749a092d2b07235b4e673763
authorDavid Christiansen <david@davidchristiansen.dk>
dateWed 9 Sep 2015, 08:22 (11 years ago)
parent0600e99d846ce7
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