5de1cd8 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

adjust tests with --consolewidth for use with -f curses

commit5de1cd81dcc89c922502c4986a5375b5ed9d45fe authorAndreas Reuleaux <arx@a-rx.info> dateThu 19 Mar 2015, 16:50 (12 years ago) parent174395b

4 files changed+5−5

unifiedsplit

test/reg044/run+1−1

@@ -1,3 +1,3 @@

11#!/usr/bin/env bash

2−idris reg044.idr --check

2+idris --consolewidth 80 reg044.idr --check

33rm -f *.ibc

test/reg049/run+1−1

@@ -1,3 +1,3 @@

11#!/usr/bin/env bash

2−idris --nocolour --check $@ reg049.idr

2+idris --consolewidth 80 --nocolour --check $@ reg049.idr

33rm -f *.ibc

test/reg054/run+1−1

@@ -1,2 +1,2 @@

11#!/usr/bin/env bash

2−idris $@ reg054.idr --check

2+idris --consolewidth 80 $@ reg054.idr --check

test/reg055/run+2−2

@@ -1,5 +1,5 @@

11#!/usr/bin/env bash

2−idris $@ reg055.idr --check

3−idris $@ reg055a.idr --check

2+idris --consolewidth 80 $@ reg055.idr --check

3+idris --consolewidth 80 $@ reg055a.idr --check

44rm -f *.ibc