adjust test with --consolewidth for use with -f curses
commit7a91805bd6045930f7886243c9df663f03d4dd18
authorAndreas Reuleaux <arx@a-rx.info>
dateThu 19 Mar 2015, 12:00 (12 years ago)
parent62419f4
test/quasiquote003/run+1−1
@@ -1,3 +1,3 @@
11#!/usr/bin/env bash
2−idris $@ --check NoInfer.idr
2+idris --consolewidth 80 $@ --check NoInfer.idr
33rm -f *.ibc